chiark / gitweb /
Define `note' conditionally, to avoid clashes with `mdwthm' among others.
authormdw <mdw>
Fri, 5 Sep 2003 16:13:44 +0000 (16:13 +0000)
committermdw <mdw>
Fri, 5 Sep 2003 16:13:44 +0000 (16:13 +0000)

No differences found