micro: select Thumb code where possible
authorPhil Blundell <philb@gnu.org>
Mon, 14 Sep 2009 21:21:14 +0000 (22:21 +0100)
committerPhil Blundell <philb@gnu.org>
Mon, 14 Sep 2009 21:21:14 +0000 (22:21 +0100)
commit13bea4b76e58eb0342654c749d259536407e16d3
tree96ab5832cda9ed5b783d4d34472f667d40d5e4ad
parent757510da73d00b7587500c73223cf854f783fd8d
micro: select Thumb code where possible
conf/distro/micro.conf