directory /mk/ @ 1372:b861909ec6da trunk

name size permissions
[up] drwxr-xr-x
file objective.mk 6264 -rw-r--r--
file rules.mk.in 9720 -rw-r--r--