chiark / gitweb /
Version number change.
authormdw <mdw>
Mon, 17 May 1999 20:34:16 +0000 (20:34 +0000)
committermdw <mdw>
Mon, 17 May 1999 20:34:16 +0000 (20:34 +0000)
commit0411cfed1400c6e0859cace151c9d2839d7f8b80
tree3a45f21eecee4f10e240dec75e295ee4a7c74382
parentedb89af3766326a4d3ff1c9834f626502692d95e
Version number change.
configure.in