/misc/9menu/ trunk
drwxr-xr-x [up]
drwxr-xr-x patches
-rw-r--r-- 2018-07-11 06:39 +0000 372 DESCR
-rw-r--r-- 2018-07-11 06:39 +0000 648 Makefile
-rw-r--r-- 2018-07-11 06:39 +0000 90 PLIST
-rw-r--r-- 2018-07-11 06:39 +0000 576 distinfo