diff options
| author | David Aspinall | 2008-01-15 23:17:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-15 23:17:48 +0000 |
| commit | c9466a2b48c9e671600a5676a746fe463c94af9a (patch) | |
| tree | 30408a050a618b70a4081bf9b5d41a847adfb318 /pgshell/example.pgsh | |
| parent | f5b82c7b4864b996f52c3007be4fb11a88f98bd2 (diff) | |
Simplify font lock settings, removing proof-font-lock-case-fold-search
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions