     1.1 --- a/config/config.in	Sun Aug 30 19:34:08 2009 +0200
     1.2 +++ b/config/config.in	Fri Jan 29 22:43:28 2010 +0100
     1.3 @@ -8,3 +8,4 @@
     1.4  source config/debug.in
     1.5  source config/tools.in
     1.6  source config/companion_libs.in
     1.7 +source config/companion_tools.in
changeset 1755	30d91bfc1f2a
parent 1498	c2d0b8c87386
child 1854	02b74bd4373f