chiark / gitweb /
Replace args parsing with argparse, much saner
-rw-r--r-- 15 .gitignore
-rw-r--r-- 1284 LICENSE
-rw-r--r-- 3162 README.md
-rw-r--r-- 2636 TagsSearch.py
-rwxr-xr-x 2422 find_definition.py