diff options
author | Makarius Wenzel <makarius@sketis.net> | 2001-01-12 19:00:06 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2001-01-12 19:00:06 +0000 |
commit | 0b5a6b3d0d05b5a730830689333a02dd34b69d45 (patch) | |
tree | 57a4b27529dc232ab173501958913f1fe3677228 /plastic | |
parent | 624d3ab542be623b0bbb8c2ad56ccfecbc3d4861 (diff) |
proof-string-match;
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions