diff options
| author | David Aspinall | 2006-02-14 16:18:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-02-14 16:18:20 +0000 |
| commit | 51e192563696d8d7d5d69422dd0e24e6bef4ee62 (patch) | |
| tree | 62bdbe82c0ac6d3d6622386b6e8f1ad162c19a7d /pgshell/example.pgsh | |
| parent | 9b6a1406ab83c50df29933b8061b53d060b45e96 (diff) | |
Add example settings for coq-prog-args and coq-prog-env
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions