directory /extra/ @ 583:000381ee2d5c default tip

name size permissions
[up] drwxr-xr-x
file README 4723 -rw-r--r--
file ar 1713 -rwxr-xr-x
file as 3918 -rwxr-xr-x
file gcc6809lw-4.6.4-7.patch 248993 -rw-r--r--
file gcc6809lw-4.6.4-8.patch 248596 -rw-r--r--
file gcc6809lw-4.6.4-9.patch 249861 -rw-r--r--
file ld 3659 -rwxr-xr-x