Alexei Boronine f80828c937 idea: change source URLs to "nicer" ones (close #6211)		2015-02-07 13:09:50 +01:00
..
default.nix	idea: change source URLs to "nicer" ones (close #6211)	2015-02-07 13:09:50 +01:00