diff options
| author | Pierre Courtieu | 2015-01-27 17:28:27 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-01-27 17:41:13 +0100 |
| commit | 0ff6b07d67560dc46b8becf4780ce1283cbece4e (patch) | |
| tree | 0d6a537fdfe58bc2bf00b189b16420dc6ead1b50 /kernel | |
| parent | 73ac958a49e54f2bedcac7f8557537e0bf524068 (diff) | |
Fixed a wrong warning in coq_makefile.
A non empty dir detected as an empty one.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions