chiark / gitweb /
documentation/python: different order of rendering nested pages.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 12 May 2019 20:30:56 +0000 (22:30 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 21 May 2019 15:19:25 +0000 (17:19 +0200)
commitf5ec9ac57cdab71c76a6b8c204286ff732a10da6
treeaf8fc0676826e476e6ae350d96ac437bd6d1bcde
parenteb0a2933d5ae5972658783b9473e6764806a6fa3
documentation/python: different order of rendering nested pages.

This should be better for memory usage.
documentation/python.py