config/config.in
changeset 1727 5f222264bb54
parent 1498 c2d0b8c87386
child 1854 02b74bd4373f
     1.1 --- a/config/config.in	Sun Aug 30 19:34:08 2009 +0200
     1.2 +++ b/config/config.in	Tue Jan 12 21:09:30 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