directory /make/devkit/ @ 34147:8726d73d17fb

name size permissions
[up] drwxr-xr-x
file Makefile 4093 -rw-r--r--
file Tools.gmk 15147 -rw-r--r--
file createMacosxDevkit.sh 6225 -rw-r--r--
file createWindowsDevkit.sh 6335 -rw-r--r--