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 /theories/QArith/Qfield.v | |
parent | 45f437c6331f2e331f227e3ebba2d2ef44142151 (diff) |
Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warning
Diffstat (limited to 'theories/QArith/Qfield.v')
0 files changed, 0 insertions, 0 deletions