Tweak x11/gtk-theme-switch version 1.0.1_7
[dports.git] / x11 / tabbed / files /
drwxr-xr-x   ..
-rw-r--r-- 754 patch-config.mk