Michael Raskin be5b32e798 Apparently fix texinfo5 with fresh TeXLive		2013-10-20 19:15:11 +04:00
..
default.nix	Updating TeXLive to 2013 using updated Debian snapshots.	2013-10-14 10:58:54 +04:00
lmmath.nix	Apparently fix texinfo5 with fresh TeXLive	2013-10-20 19:15:11 +04:00