added warking on --strip-* options
[docutils.git] / docutils / docs / 
tree960a8deaac9eb4d435d82bf302c7c8df4291cb50
drwxr-xr-x   ..
drwxr-xr-x - api
drwxr-xr-x - dev
drwxr-xr-x - howto
-rw-r--r-- 8135 index.txt
drwxr-xr-x - peps
drwxr-xr-x - ref
drwxr-xr-x - user