diff options
| author | David Aspinall | 2008-02-06 23:08:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-06 23:08:52 +0000 |
| commit | 202a873cf31a50b2a0e2e252343723549e196b2d (patch) | |
| tree | ead63cbbd54f3ab3a97093aa8e6350c77985a636 /pgshell/pgshell.el | |
| parent | e9f0c029027fe3ddd286b6f533f67ff39e6c7e11 (diff) | |
proof-quick-opts-vars: add <PA>-unicode-tokens-enable
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions