Juan RP e2b0ef2e2d texinfo: fix uncompressed info files, bumprev. ... --HG-- extra : convert_revision : 02adbd086c4fdb4a385a6966518bad1a2c70590d		2009-10-16 00:09:20 +02:00
..
template	texinfo: fix uncompressed info files, bumprev.	2009-10-16 00:09:20 +02:00