diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-06-23 18:28:36 -0700 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-06-23 18:28:36 -0700 |
| commit | a7efd7af1deebfad225af378bdf23e41a5141ea8 (patch) | |
| tree | f18403c8d58ef74dbf5560b42f1ae864bb6962ec /userContent/theme | |
| parent | 0eac7a78d6862013ea47d7271f979b33286e2432 (diff) | |
| download | jenkins.debian.net-a7efd7af1deebfad225af378bdf23e41a5141ea8.tar.xz | |
Revert "Unset http_proxy due to bug in cabal"
This reverts commit 0eac7a78d6862013ea47d7271f979b33286e2432. Lets see
if the bug has been fixed.
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions