diff options
| author | David Aspinall | 2008-01-17 13:27:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 13:27:06 +0000 |
| commit | 0d8367225698a83a6fc796008f86c0144a69aa4c (patch) | |
| tree | d6af886e8d48ad10bf751cfbad77667a1c98a672 /pgshell/pgshell.el | |
| parent | 7dec3822046f90d7b8eaa46da31e35a645cfa853 (diff) | |
Prevent proof-set-value from operating during compilation.
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions