Andreas Jaeger 0e2b827221 Fix .tx/config ...

The file used a wrong file name, fix it.

Change-Id: I7d3cf878d0d7aa0d6fa15889d0b509e58a0d14a1

2015-04-22 16:24:04 +02:00

..

config

Fix .tx/config

2015-04-22 16:24:04 +02:00