diff options
| author | Timothy Bourke | 2016-06-18 16:53:41 +0200 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-06-18 10:53:41 -0400 |
| commit | 7ed8ad9d2e2dba92005e1e233323488284a63c93 (patch) | |
| tree | e8b1464456c02f5958bc3298a8a18fbc71ae0da1 /pgshell | |
| parent | 493211dbd924520e6842f3e5d7c8fd1b3cbf1485 (diff) | |
coq-load-path docs: norec -> nonrec (#79)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions