chiark / gitweb /
addcases is broken, remove it.
authorian <ian>
Sun, 11 Apr 1999 19:41:44 +0000 (19:41 +0000)
committerian <ian>
Sun, 11 Apr 1999 19:41:44 +0000 (19:41 +0000)
commit44895c1bc9a7b214f5691df4d1c160810e356051
treedf1694ec8170642a2595dd74e452b62fb33406ab
parentee6166884ef7ff56046ca6d65fe0ad8583f61074
addcases is broken, remove it.
regress/addcases [deleted file]