diff -r c42d991ddcdb -r e8ebdcd8bcd0 utils/TODO
--- a/utils/TODO	Mon Dec 17 04:44:31 2007 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Add some kind of repo sync script here