chiark / gitweb /
Replace deprecated `mdwopt' flag name with new version.
authormdw <mdw>
Fri, 16 Jul 1999 12:50:43 +0000 (12:50 +0000)
committermdw <mdw>
Fri, 16 Jul 1999 12:50:43 +0000 (12:50 +0000)

No differences found