chise/ids.git
22 years agoRename `idc' to `ids'.
tomo [Fri, 14 Dec 2001 18:04:36 +0000 (18:04 +0000)]
Rename `idc' to `ids'.