chiark / gitweb /
documentation/python: list forgotten default option, avoid duplicates.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 9 Jun 2020 12:10:26 +0000 (14:10 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 9 Jun 2020 16:05:38 +0000 (18:05 +0200)
commit018fe0b19e52f44b4025b0c311de631ecb53d936
treeea3508d92ff306011a4d35a06e989218b4ea77c2
parent60f9bca45e6d914353ed84a59cff6469c542f359
documentation/python: list forgotten default option, avoid duplicates.
documentation/python.py