Prune 5 obsolete ports
[dports.git] / x11-toolkits / skinlf /
drwxr-xr-x   ..
-rw-r--r-- 805 Makefile
-rw-r--r-- 140 distinfo
-rw-r--r-- 452 pkg-descr