Handle options that are integers (e.g. HZ) or strings properly.
authorMarc Fiuczynski <mef@cs.princeton.edu>
Thu, 30 Nov 2006 17:07:03 +0000 (17:07 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Thu, 30 Nov 2006 17:07:03 +0000 (17:07 +0000)
commit3d6b2900d9d7b9331fbbe955e1c0c060135ac18c
tree50a188275ef9e3e08faaffdc1e99b0952cf261da
parenta81b60294dec2c421c53e8545ee9731c0d753e1d
Handle options that are integers (e.g. HZ) or strings properly.
configs/kompare