Peter Wemm d92566062f Choose a different name to hold the option definition.. The original one
was overlapping with another file, and making some undesirable behavior a
little worse - it's triggering a bug in config that appears to have been
there for some time (before the options files, anyway.)
1996-01-06 23:10:57 +00:00
..
1995-12-10 19:08:32 +00:00
1996-01-05 18:31:58 +00:00
1996-01-05 18:31:58 +00:00
1996-01-04 21:13:23 +00:00
1995-12-03 17:14:38 +00:00
1995-12-30 19:02:48 +00:00
1995-12-18 09:42:44 +00:00
1995-12-10 13:45:30 +00:00
1995-12-17 21:14:36 +00:00
1995-05-30 05:05:38 +00:00
1996-01-04 21:13:23 +00:00