Vladimír Čunát 2217b328f9 texlive: rename the directory texlive-new -> texlive		2016-09-04 14:53:30 +02:00
..
manual	texlive: rename the directory texlive-new -> texlive	2016-09-04 14:53:30 +02:00