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 | 04098b5f1bf86a807a8fd7775d8d08e0d23cbb7d (patch) | |
tree | f3d0cb1da477e08e18319356dc365a528c1211ee /igor.py | |
parent | d0c295d6cfc3ab081edf9c0cf04c942da184f80d (diff) | |
download | python-coveragepy-04098b5f1bf86a807a8fd7775d8d08e0d23cbb7d.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.""" |