chiark / gitweb /
doc: remove outdated / redundant info.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 18:37:24 +0000 (20:37 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 18:37:24 +0000 (20:37 +0200)
commit2d229ece95f751ab8def6f02bbf7f0e567b40fec
tree966f6531a9fc9990aed1cdc09d597359638df110
parentd3327c55c7f4b10297f1d2a744f66d8399a1ca5a
doc: remove outdated / redundant info.
doc/documentation/python.rst