Fix old_pins (though it is not used)
[saartuer.git] / tryshell
2013-09-30 Constantin Berharddeveloper shell added which doesn't do any magic