Fabio Erculiani 7a97c8a2a7 [arm] rename to armv7l		2011-12-24 14:48:47 +01:00
..
no-distcc.conf	[arm] rename to armv7l	2011-12-24 14:48:47 +01:00