diff tests/run-tests.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 d4e21a9de8bc
children 53cfde2b3cf9
line wrap: on
line diff