diff options
| author | Christophe Raffalli | 2000-09-18 16:37:57 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2000-09-18 16:37:57 +0000 |
| commit | ffe0fb867dd09e100f453118f58e8e510f216409 (patch) | |
| tree | 2ae937651271b17ed73ae1677d8d77ff7bb515d8 /af2 | |
| parent | fe42e4fab3ec0bbe8c4ba6253a0905a7334909cd (diff) | |
changed proof-remove-comment to avoid using string-search (using string-match instead).
Diffstat (limited to 'af2')
0 files changed, 0 insertions, 0 deletions