dillon 7cbe0b8f16 Remove accidental pollution unrelated to previous commit. The issue
here is real but has not yet been discussed with Eivind.
1999-12-12 03:28:14 +00:00
..
1999-12-03 09:10:04 +00:00