-maybe not the best default for now
authorChristian Grothoff <christian@grothoff.org>
Sun, 25 Dec 2011 20:50:35 +0000 (20:50 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 25 Dec 2011 20:50:35 +0000 (20:50 +0000)
commit094c0ee00e4d4a4b7b7f66138d39c9ff7f8535f2
tree8928eb99850ff6c7e3b86aa8186846d33b2463cd
parent54f8ff851bfb3511570cb8760b0ccf3165a58d2e
-maybe not the best default for now
src/arm/arm.conf