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