chiark / gitweb /
DEFAULT-ALIEN-FNAME will now remove '-p' suffix from symbol names
[clg] / STATUS
2004-10-31 espenInitial checkin