chiark / gitweb /
Replace args parsing with argparse, much saner
authorRoss Younger <ross@impropriety.org.uk>
Thu, 28 Feb 2013 20:45:20 +0000 (09:45 +1300)
committerRoss Younger <ross@impropriety.org.uk>
Thu, 28 Feb 2013 20:45:20 +0000 (09:45 +1300)
commit3200fd5b44d53535a79f7e6f1100a9073d617132
tree9e2b512773e47e44c507e58b281ece0878b79297
parentc662353275fa356971d1693e1f5a71c5ad865525
Replace args parsing with argparse, much saner
find_definition.py