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)
commit40aade6563d5fed2670fe25501ab6dd9ce9c08a9
tree24f89c82c6cd6fe4cc27c3a3e68ac6366583eeea
parent2a0404a53640a5ce654ecd065201af0dbd83589a
addcases is broken, remove it.
regress/addcases [deleted file]