commit | a272d8fe3dff9ee7d73000bf870a79ba39920d09 | [log] [tgz] |
---|---|---|
author | Glenn Randers-Pehrson <glennrp at users.sourceforge.net> | Fri Jun 25 21:45:31 2010 -0500 |
committer | Glenn Randers-Pehrson <glennrp at users.sourceforge.net> | Fri Jun 25 21:45:31 2010 -0500 |
tree | 06c204a5eaf7415d2e768adb47f54271265c606a | |
parent | a81c59a960b5c047841a66815355728dc6228308 [diff] |
[devel] Made FIXED and FLOATING options consistent in the APIs they enable and disable. Corrected scripts/options.awk to handle both command line options and options specified in the .dfa files.