chiark / gitweb /
#define STR in the conventional way (and rename it in record-l.l); also define port...
authorian <ian>
Tue, 27 May 2008 18:40:06 +0000 (18:40 +0000)
committerian <ian>
Tue, 27 May 2008 18:40:06 +0000 (18:40 +0000)
commit3bb27e0a6e36511f2f71ca970165321609ac062a
treed5e144b2695fc3e04c7f162c2752096ab7a553a3
parent6fb0a24883be9c57127f17229e5e1580dad32313
#define STR in the conventional way (and rename it in record-l.l); also define port number
hostside/common.h
hostside/record-l.l