diff options
| author | Pierre Letouzey | 2016-06-08 15:56:40 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-10 19:50:37 +0200 |
| commit | 282914c00d29565ec0fbe9d3a89163f9d3cb5141 (patch) | |
| tree | 42263ba9cb24615e86f35a941784c05eca22fd53 /plugins | |
| parent | 509c30c93dca8ca8c78f1da1eefc056226d90346 (diff) | |
coq_makefile: fix a crucial typo in e9c57a3
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions