Michael Raskin be5b32e798 Apparently fix texinfo5 with fresh TeXLive		2013-10-20 19:15:11 +04:00
..
documentation
fonts	Apparently fix texinfo5 with fresh TeXLive	2013-10-20 19:15:11 +04:00
icons	tango-icon-theme: Add	2013-08-15 18:01:16 +02:00
misc	tzdata: Update to 2013g	2013-10-15 17:24:33 +02:00
sgml+xml