diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-03-14 14:02:38 +0100 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-03-14 14:40:50 +0100 |
| commit | a023acc4c1a1cea2ef7751c1a65bba1cafaaeadf (patch) | |
| tree | 4fbd475a9422af51e81445040c351611e3ae5fe9 /coq-win32.itarget | |
| parent | 45f437c6331f2e331f227e3ebba2d2ef44142151 (diff) | |
Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warning
Diffstat (limited to 'coq-win32.itarget')
0 files changed, 0 insertions, 0 deletions