diff rewrite-log @ 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 5f471a75d607
children
line wrap: on
line diff