diff -r e3a923bd3d56 -r 6dec159540ee distfiles/mingwrt-3.20-mingw32-dev.tar.gz.md5
--- a/distfiles/mingwrt-3.20-mingw32-dev.tar.gz.md5	Mon Oct 10 00:37:27 2011 +0200
+++ b/distfiles/mingwrt-3.20-mingw32-dev.tar.gz.md5	Tue Oct 11 16:34:05 2011 +0200
@@ -1,1 +1,1 @@
-2d2f5c8165ff9c29661a5be96336a4f7  /home/edouard/src/beremiz_higen_dist/distfiles/mingwrt-3.20-mingw32-dev.tar.gz
+2d2f5c8165ff9c29661a5be96336a4f7  mingwrt-3.20-mingw32-dev.tar.gz