[project @ 2000-03-10 18:28:26 by sewardj]
authorsewardj <unknown>
Fri, 10 Mar 2000 18:28:26 +0000 (18:28 +0000)
committersewardj <unknown>
Fri, 10 Mar 2000 18:28:26 +0000 (18:28 +0000)
commit37fe8f8c1223269045f011f67bfc906c8fda9ef9
treed1a51e886bb99190b915516a97e937021ec8ec7a
parent08e36f1d1865cb01e3470e976a05cbf8693d4fec
[project @ 2000-03-10 18:28:26 by sewardj]
Nuke a substantial number of no-longer-supported options.
ghc/includes/options.h