diff options
| author | David Aspinall | 2011-08-23 12:47:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-08-23 12:47:44 +0000 |
| commit | 879dac9338ef72ae2d627d1d9ff95856086bd108 (patch) | |
| tree | b82150de6133c30bdd3a7e605581d759bdefb5b2 /pgshell/example.pgsh | |
| parent | a6027bef486b488753c4a3389ad272b7648bbd09 (diff) | |
Move coq-prog-name back to coq.el
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions