diff contrib/perf.py @ 12812:4d431a31a76e stable

gendoc: re-add indentation to global option table The indentation was lost in bdc1cf692447.
author Martin Geisler <mg@lazybytes.net>
date Sat, 23 Oct 2010 00:01:09 +0200
parents 57a8894e3f75
children 61c9bc3da402
line wrap: on
line diff