Juan RP 51006287a8 base-system: drop texinfo; if you need this, install it.		2014-06-29 13:33:41 +02:00
..
template	base-system: drop texinfo; if you need this, install it.	2014-06-29 13:33:41 +02:00