diff -r e4f363e16bdc -r 13b0fc4ece42 etc/components
--- a/etc/components	Sat Apr 26 06:43:06 2014 +0200
+++ b/etc/components	Sat Apr 26 21:37:09 2014 +1000
@@ -1,7 +1,6 @@
 src/Tools/Code
 src/Tools/jEdit
 src/Tools/Graphview
-src/Tools/WWW_Find
 src/HOL/Mirabelle
 src/HOL/Mutabelle
 src/HOL/Library/Sum_of_Squares