diff CONTRIBUTORS @ 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 01215ad04283
children 253072f39205
line wrap: on
line diff