Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | gui-arch.pl | 2301 | logplain |
-rw-r--r-- | gui-config.pl | 8446 | logplain |
-rw-r--r-- | gui-install.pl | 6132 | logplain |
-rw-r--r-- | gui-remove.pl | 6676 | logplain |
-rw-r--r-- | gui-uninstall.pl | 1232 | logplain |
-rw-r--r-- | gui-update.pl | 5539 | logplain |
-rwxr-xr-x | tlmgrgui.pl | 10353 | logplain |