/
drwxr-xr-x docs
-rw-r--r-- 2009-07-13 19:30 +0300 21 .hgignore
-rw-r--r-- 2009-07-13 19:30 +0300 45 .hgtags
-rw-r--r-- 2009-07-13 19:30 +0300 1202 README
-rw-r--r-- 2009-07-13 19:30 +0300 13167 finaloption.py
-rwxr-xr-x 2009-07-13 19:30 +0300 838 setup.py
-rwxr-xr-x 2009-07-13 19:30 +0300 773 test.py
-rwxr-xr-x 2009-07-13 19:30 +0300 959 test_opts.py