Fix old_pins (though it is not used)
authorRalf Jung <post@ralfj.de>
Thu, 10 Oct 2013 13:23:00 +0000 (15:23 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 10 Oct 2013 13:23:00 +0000 (15:23 +0200)
commitc3f869a3599a8d58dd4c6f12031e67eec9654de5
treeff50a945b22e9037ea7bc150d179acc79315aeb7
parent311d7fb5023a6c80ce370d79a6f52495fd54d867
Fix old_pins (though it is not used)
statemachine.py