directory /mk/ @ 1731:7a5e936e4b7f trunk

name size permissions
[up] drwxr-xr-x
file init.mk 426 -rw-r--r--
file objective.mk 5822 -rw-r--r--
file rules.mk.in 10457 -rw-r--r--