Cillian de Róiste 3c7f1431c0 helmholtz: unset the curl user-agent to fix the download ... I've checked this with the developer to ensure it isn't blocked deliberately and she said it was just a problem with the hosting provider, so it is fine to work around it.		2015-09-01 13:17:35 +02:00
..
default.nix	helmholtz: unset the curl user-agent to fix the download	2015-09-01 13:17:35 +02:00