summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhil Blundell <philb@gnu.org>2009-09-19 13:36:48 +0100
committerPhil Blundell <philb@gnu.org>2009-09-19 13:36:48 +0100
commitb50202f4be562e271f3c3acc15e6f6d1f98619e8 (patch)
treee576a362c79d04ebe2ae3712e9bb449131e57102 /.gitignore
parentd7f889b1a94b7e84ca593659c285c3ccdbfd2fe8 (diff)
micro: set PREFERRED_ARM_INSTRUCTION_SET weakly so local.conf can
override
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions