directory /mk/ @ 885:6c9f9b81b76c trunk

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