diff options
| author | David Aspinall | 2007-12-14 13:13:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 13:13:58 +0000 |
| commit | 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 (patch) | |
| tree | aa1e8021d55c2711f0d067949ff0360d2901f976 /pgshell/pgshell.el | |
| parent | d35efd03218733c5b45ca064fcd889af6fd61676 (diff) | |
Fix compilation problems and rearrange startup settings for coq-prog-name,coq-prog-args
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions