Remove inactive code for use_optionlist_for_option_list.
[docutils.git] / docs / 
tree8955c466bfb89b8127c730dac4caaba35d64fdb1
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