arch/tile: prefer "tilepro" as the name of the 32-bit architecture
[linux-3.10.git] / arch / tile / configs /
drwxr-xr-x   ..
-rw-r--r-- 44263 tilegx_defconfig
-rw-r--r-- 28915 tilepro_defconfig