Bjørn Forsman bf2dfb9d99 eclipse: remove old to-do comment about "mirror://eclipse/" ... The comment is from 2011, before we started using officially mirrored URLs[1] like http://www.eclipse.org/downloads/download.php?r=1&nf=1&file=THE_FILE I think using upstream mirrored URLs is better than mirror://eclipse: - upstream mirror list is always up to date - the closest / fastest mirror will be selected automatically [1]: http://wiki.eclipse.org/IT_Infrastructure_Doc#Use_mirror_sites.2Fsee_which_mirrors_are_mirroring_my_files.3F		2016-01-30 17:18:13 +01:00
..
build-eclipse.nix	Avoid CamelCase in filenames and add buildEclipse	2016-01-16 18:35:35 +01:00
default.nix	eclipse: remove old to-do comment about "mirror://eclipse/"	2016-01-30 17:18:13 +01:00
plugins.nix	eclipse-plugin-gnuarmeclipse: 2.8.1-201504061754 -> 2.11.1-201512141335	2016-01-30 12:33:12 +01:00