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