Michael Raskin fdb785f4d1 Merge pull request #5453 from pmahoney/skarnet-2.0 ... Update skarnet.org software for 2.0 release.		2015-01-01 16:14:17 +03:00
..
darwin	fixes #1933	2014-10-23 00:14:09 +02:00
gnu	gnu: Fix (evaluation of the) call to forceSystem.	2014-07-28 20:46:32 +02:00
linux	Merge pull request #5453 from pmahoney/skarnet-2.0	2015-01-01 16:14:17 +03:00
windows	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00