chiark / gitweb /
better comment
authorian <ian>
Wed, 30 Jan 2008 22:52:54 +0000 (22:52 +0000)
committerian <ian>
Wed, 30 Jan 2008 22:52:54 +0000 (22:52 +0000)
commit6a4bd88bec449b464076b4969dfc198d062ebf6e
tree48bc2e35c6576b374717c56734e9c812b97cb343
parent22867c3485caf58cf167ae7f77f75194c2746ae9
better comment
hostside/record-l.l