diff options
author | 2005-09-01 14:18:08 +0000 | |
---|---|---|
committer | 2005-09-01 14:18:08 +0000 | |
commit | 677cd9da3adce2be73e8a6a02b414ffcff54d003 (patch) | |
tree | b5fe58e697c5c71d50261bc24520a8dc01fbc00d /plastic | |
parent | f1328797b3efbc1163e57ed02528fbf209089bc6 (diff) |
moved pg-special-char-regexp to proof-config.el;
added pg-remove-specials-in-string;
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions