config/config.in
changeset 1854 02b74bd4373f
parent 1727 5f222264bb54
child 1869 619a87a01562
     1.1 --- a/config/config.in	Tue Jan 12 21:09:30 2010 +0100
     1.2 +++ b/config/config.in	Wed Mar 17 00:21:57 2010 +0100
     1.3 @@ -6,6 +6,5 @@
     1.4  source config/cc.in
     1.5  source config/libc.in
     1.6  source config/debug.in
     1.7 -source config/tools.in
     1.8  source config/companion_libs.in
     1.9  source config/companion_tools.in