tree 06c204a5eaf7415d2e768adb47f54271265c606a
parent a81c59a960b5c047841a66815355728dc6228308
author Glenn Randers-Pehrson <glennrp at users.sourceforge.net> 1277520331 -0500
committer Glenn Randers-Pehrson <glennrp at users.sourceforge.net> 1277520331 -0500

[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.