chiark / gitweb /
Add bash-completion rune. That was easier than I feared.
-rw-r--r-- 15 .gitignore
-rw-r--r-- 1284 LICENSE
-rw-r--r-- 3762 README.md
-rw-r--r-- 3347 TagsSearch.py
-rw-r--r-- 398 bash-completion.sample
-rwxr-xr-x 2872 find_definition.py