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