diff options
| author | Pierre Letouzey | 2016-06-08 15:56:40 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-08 15:56:40 +0200 |
| commit | a7e9ee63bfdd879ec1bf8737683830db6570369f (patch) | |
| tree | cabb2b2d8990f53cc05555a5d8a1cffaf4ac9548 /dev/doc | |
| parent | f6ce65b4d49f0a3a3af7e0e7811934136f59943c (diff) | |
coq_makefile: fix a crucial typo in e9c57a3
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions