chiark / gitweb /
Rename symbols in line with newer conventions.
authormdw <mdw>
Wed, 26 May 1999 21:08:31 +0000 (21:08 +0000)
committermdw <mdw>
Wed, 26 May 1999 21:08:31 +0000 (21:08 +0000)

No differences found