chiark / gitweb /
add --complete mode for bash_completion
-rw-r--r-- 15 .gitignore
-rw-r--r-- 1284 LICENSE
-rw-r--r-- 3162 README.md
-rw-r--r-- 3121 TagsSearch.py
-rwxr-xr-x 2743 find_definition.py