diff options
| author | David Aspinall | 1999-11-16 16:00:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-16 16:00:39 +0000 |
| commit | b60783fa894f0956cb581c8f2aee1423faf12096 (patch) | |
| tree | 4baf59e4edc9394d40ae5a8565465af696e87a3e /BUGS | |
| parent | eac7e215f82098ab290a30c354969bfe3a4b27ac (diff) | |
Added proof-string-match-safe and proof-stringfn-match (also safe)
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions