more check stuff
authorminima <minima>
Sun, 20 Aug 2000 20:58:38 +0000 (20:58 +0000)
committerminima <minima>
Sun, 20 Aug 2000 20:58:38 +0000 (20:58 +0000)

No differences found