6 commits

Author	SHA1	Message	Date
worldofpeace	3f4a353737	treewide: use dontUnpack	2019-07-01 04:23:51 -04:00
Silvan Mosberger	57bccb3cb8	treewide: http -> https sources (#42676) ... * treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces	2018-06-28 20:43:35 +02:00
Ryan Mulligan	fce8f26af6	treewide: http -> https (#42665)	2018-06-27 22:12:57 +02:00
Tuomas Tynkkynen	21f17d69f6	treewide: Add lots of meta.platforms ... Build-tested on x86_64 Linux & Mac.	2016-08-02 21:42:43 +03:00
Eelco Dolstra	1b598da460	Drop unnecessary setting of java.home	2014-01-25 03:04:46 +01:00
Eelco Dolstra	1343ce97cb	rascal: Add	2014-01-14 10:47:08 +01:00