directory /make/ @ 1129:784434b93e19 default tip

name size permissions
[up] drwxr-xr-x
dir. scripts/ drwxr-xr-x
file Makefile 6143 -rw-r--r--
file jprt.properties 2180 -rw-r--r--