Andreas Jaeger 226e98a5b2 Fix .tx/config ... The config file did not match the actual configuration we have and thus the Jenkins update jobs failed. I've fixed all problems. Change-Id: I439c6e475c32d472bec2cd50c75f5d0c9ddbac33		2014-03-29 09:53:22 +01:00
..
config	Fix .tx/config	2014-03-29 09:53:22 +01:00