Fix old_pins (though it is not used)
[saartuer.git] / tysock.py
2013-10-03 Ralf Jungstart implementing the new all-great tuerd