diff options
| author | Pierre Boutillier | 2014-06-12 15:27:02 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-06-30 09:49:44 +0200 |
| commit | 8e3ef4dbfd00c67af1cc2b83307038a6440584cb (patch) | |
| tree | a2ce2902e4112ae384175c1f71e229039ffe7be5 /kernel | |
| parent | a273df3af0e4315fd792efd83b9365320531111d (diff) | |
Coq_makefile: -extra[-phony] correction + doc
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions