chiark / gitweb /
Renamed VECTOR-NULL to NULL-TERMINATED-VECTOR
authorespen <espen>
Mon, 14 Feb 2005 00:44:26 +0000 (00:44 +0000)
committerespen <espen>
Mon, 14 Feb 2005 00:44:26 +0000 (00:44 +0000)

No differences found