chiark / gitweb /
Track gratuitous change in mdwopt interface. 1.2.5
authormdw <mdw>
Wed, 19 May 1999 20:41:15 +0000 (20:41 +0000)
committermdw <mdw>
Wed, 19 May 1999 20:41:15 +0000 (20:41 +0000)
commitf227ff283ca1c6c6e39eec6790278ab714a918b2
tree63f3ea28e4353ce14404badc4da06187840423ba
parent9a53569b420bfeff0a4de398893fde04d5808ab8
Track gratuitous change in mdwopt interface.
configure.in
xcatch.c