diff options
| author | Guillaume Melquiond | 2015-03-27 09:29:00 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-03-27 09:29:16 +0100 |
| commit | 0da60299fa3abd4a84c7c673fa8f9ed202c84188 (patch) | |
| tree | 4dd598d9af52244e8c5df629b7a0316d2c67f39e /interp/notation.ml | |
| parent | 924a6e99f85aa0d70d42e753d6901b067ebf8f1d (diff) | |
Properly handle extra "clean" targets with coq_makefile.
Diffstat (limited to 'interp/notation.ml')
0 files changed, 0 insertions, 0 deletions