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