Juan RP 3164546902 texlive-bin: fix x86 installation; misc tweaks.		2014-04-30 17:44:20 +02:00
..
texlive.sh	…
void.profile	texlive-bin: fix x86 installation; misc tweaks.	2014-04-30 17:44:20 +02:00