Manuel Pégourié-Gonnard ea9556a76e Fix mistaken changes in Makefile's clean target
I was a bit too trigger-happy with copy-pasting in a previous commit...
2015-06-25 14:19:25 +02:00
..
2015-06-25 10:59:57 +02:00
2015-06-22 14:40:55 +02:00