# HG changeset patch
# User boehmes
# Date 1269440502 -3600
# Node ID dc36cd801694a4de4ccce8f63979caa9fb0fe0fd
# Parent  7a86d7706106026782e31473a98372d9e22be627
removed Cache_IO component

diff -r 7a86d7706106 -r dc36cd801694 etc/components
--- a/etc/components	Wed Mar 24 14:08:07 2010 +0100
+++ b/etc/components	Wed Mar 24 15:21:42 2010 +0100
@@ -13,7 +13,6 @@
 #misc components
 src/Tools/Code
 src/Tools/WWW_Find
-src/Tools/Cache_IO
 src/HOL/Tools/ATP_Manager
 src/HOL/Mirabelle
 src/HOL/Library/Sum_Of_Squares