for Windows, remove \r from the files to patch
authorLuigi Rizzo <rizzo@iet.unipi.it>
Fri, 5 Sep 2014 06:28:00 +0000 (08:28 +0200)
committerLuigi Rizzo <rizzo@iet.unipi.it>
Fri, 5 Sep 2014 06:28:00 +0000 (08:28 +0200)
commit6acd253e333a4a71b9cc973dcccb77ff1e616594
treeecf1521c2614147c3bf1f24048ea81552bf51102
parent4ccf5e7ec589f1781620ead7c280ffeba77e5a5c
for Windows, remove \r from the files to patch
Makefile