diff options
| author | Pierre Letouzey | 2016-06-07 16:20:40 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-07 16:20:40 +0200 |
| commit | dd69520b66a3669d9593b59165961baa63d3c40f (patch) | |
| tree | 8bc3c289b4709efbdeaa03d8156b2c76bfe7700b /plugins | |
| parent | 8df8bc8e3e2aa67f02a83db02fbbe877fa0b0450 (diff) | |
| parent | c3698ed4271658fc2edde3870394b3403d7489c9 (diff) | |
coq_makefile : minor rework
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions