diff options
| author | Hendrik Tews | 2016-12-15 11:05:28 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2016-12-15 11:06:03 +0100 |
| commit | a423f633e6a41ab680a51e3af320056bde249584 (patch) | |
| tree | 4704db948f780b9158677d3ef435e2b7c747e744 /pgshell | |
| parent | e3cc66dc2e60683531d75c12256d059ccbc64576 (diff) | |
Improve doc on coq project file
... following the discussion in github on 32fea19d1bb66593e469b1a8e6ad38f3ae1714bf
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions