diff notes.txt @ 1046:772507daaa17

Sort global options by topic: directories, ui, timing, other (and changed indentation to match command table)
author Thomas Arendsen Hein <thomas@intevation.de>
date Thu, 25 Aug 2005 18:35:35 +0200
parents d7ce76d82876
children 2073e5a71008
line wrap: on
line diff