diff python/ppci/linker.py @ 367:577ed7fb3fe4

Try to make thumb work again
author Windel Bouwman
date Fri, 21 Mar 2014 10:27:57 +0100
parents 98ff43cfdd36
children 9667d78ba79e
line wrap: on
line diff