diff options
| author | Pierre Courtieu | 2016-12-14 11:39:42 +0100 |
|---|---|---|
| committer | GitHub | 2016-12-14 11:39:42 +0100 |
| commit | 9ef31c75a9133693ce462286c4c2aa6428cca06f (patch) | |
| tree | 6b916cdc5255f8ab817b76843fa2e6039682f324 /pgshell | |
| parent | 1e506d9da3b05a5ec8c6ec5e91f17cf153cb6dfc (diff) | |
| parent | 805c1b7ddc1a5c9254bc2252b2d87e79311d4521 (diff) | |
Merge pull request #132 from Matafou/master
Remove default absolute name from coq-prog-name (Fixes #76), but keep displaying…
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions