Vladimír Čunát 96647a6985 Merge #29311: texinfo: 6.3 -> 6.5		2017-09-17 10:35:43 +02:00
..
4.13a.nix	…
5.2.nix	…
6.5.nix	Merge #29311: texinfo: 6.3 -> 6.5	2017-09-17 10:35:43 +02:00