/mk/defaults/ trunk
drwxr-xr-x [up]
-rw-r--r-- 2018-07-11 07:59 +0000 63470 mk.conf
-rw-r--r-- 2018-07-11 07:59 +0000 859 obsolete.mk
-rw-r--r-- 2018-07-11 07:59 +0000 41259 options.description