diff options
| author | Makarius Wenzel | 2005-09-01 14:18:05 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-01 14:18:05 +0000 |
| commit | 1702b15d4aa280923592c749361f5344afb8ad68 (patch) | |
| tree | 4b7f944f810c12dbee2e1df6ad2480bebb632152 /pgshell/example.pgsh | |
| parent | d0c07033ee165a99d8e4aaee1f0ab8868f36ec2c (diff) | |
added pg-special-char-regexp (used to be a constant in proof-utils.el);
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions