directory /make/devkit/ @ 28084:441853c190f4

name size permissions
[up] drwxr-xr-x
file Makefile 4093 -rw-r--r--
file Tools.gmk 15147 -rw-r--r--