diff -r a267d03352dc -r 5992b254421e dev-util/RBTools/Manifest
--- a/dev-util/RBTools/Manifest	Fri Oct 18 21:09:19 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-DIST RBTools-0.5.tar.gz 87824 SHA256 da3cbef4723cb4081098af20797269eae27902ece239f526e6e4a69fd248cb74 SHA512 bcafbedb16848d09ad2d0836bc00fefbcda8d9862243a18226de26dea672cdc9d000ed1ee695d9d9ed872d089c4afb6d29f8a7f26918bc367d5698fdd3ba091c WHIRLPOOL 5a2fb951bc6b13186256a12da4f6bce7576a9bfe034d9cfc817248f24b3e75558fe19f478a4b1f1e577b63c0fd821e9f855c99578bb9fe6c2fd48f35dde59e2f