diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2013-09-14 07:53:46 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2013-09-14 07:53:46 -0400 |
commit | c24cc35e6ce34471b1a07e8d2a7798b295bfb8e3 (patch) | |
tree | 3bd34e0be102bb768ddcee68a285bed14baa73bd /igor.py | |
parent | c5ed56368d13cf4e09be2af28306d1c1465b36ba (diff) | |
download | python-coveragepy-git-c24cc35e6ce34471b1a07e8d2a7798b295bfb8e3.tar.gz |
Maybe 'develop' is better than 'install'?
Diffstat (limited to 'igor.py')
-rw-r--r-- | igor.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -15,6 +15,10 @@ import sys import zipfile +# Functions named do_* are executable from the command line: do_blah is run +# by "python igor.py blah". + + def do_remove_extension(): """Remove the compiled C extension, no matter what its name.""" |