Vladimír Čunát cdde22aef5 Merge branch 'staging' (older one)		2017-12-08 10:22:31 +01:00
..
darwin	Merge branch 'staging' (older one)	2017-12-08 10:22:31 +01:00
gnu
linux	Merge branch 'staging' (older one)	2017-12-08 10:22:31 +01:00
windows	treewide: Use targetPrefix instead of prefix for platform name prefixes	2017-11-27 03:15:50 -05:00