commit | ea9556a76e4aeb5716e70d0f7914c73f89eaa715 | [log] [download] |
---|---|---|
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Thu Jun 25 14:18:20 2015 +0200 |
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Thu Jun 25 14:19:25 2015 +0200 |
tree | 64340bf044e2d6f42afd6e164c2a2bdf12fdbf0d | |
parent | dc54ff85785a7cc68b00eabbf7e915c6e08869d0 [diff] |
Fix mistaken changes in Makefile's clean target I was a bit too trigger-happy with copy-pasting in a previous commit...