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 /phox | |
| parent | 624d3ab542be623b0bbb8c2ad56ccfecbc3d4861 (diff) | |
proof-string-match;
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions