chiark / gitweb /
Rename `rule_reinit' to `rule_end' for more sensible restart.
authormdw <mdw>
Wed, 20 Aug 1997 16:22:49 +0000 (16:22 +0000)
committermdw <mdw>
Wed, 20 Aug 1997 16:22:49 +0000 (16:22 +0000)

No differences found