diff options
| author | Guillaume Melquiond | 2015-02-27 15:43:06 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-27 15:43:06 +0100 |
| commit | f4d7d60b90ee03179479f8e3427bd1a5729135f2 (patch) | |
| tree | 722e53aedbd3652bc4dfeef0fb971e9f333265fe /plugins/syntax | |
| parent | 9fea58122001535bdee63317b56f2afb727167c7 (diff) | |
Make coq_makefile generate double-colon rules for clean and archclean. (Fix bug #4080)
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions