Commit cd74549840be5bba43c502ebfeb01c1b820c2eea

Glenn Randers-Pehrson 2010-04-28T07:52:16

[devel] Improved the options.awk script; added an "everything off" option.