| commit | 8d38ebed917ad6a59d0cd092a1f4b90eb3d4212f | [log] [tgz] |
|---|---|---|
| author | Wenzel Jakob <wenzel.jakob@epfl.ch> | Sat Sep 10 13:46:57 2016 +0900 |
| committer | GitHub <noreply@github.com> | Sat Sep 10 13:46:57 2016 +0900 |
| tree | 60873b9b9f43f0a5bdc4631058634a19521bd5db | |
| parent | 356bf94a850346f4036a894e2197c9944c69bd0d [diff] | |
| parent | bf14cea7c7dcf5f3a2f865c3edf71aa857317eae [diff] |
Merge pull request #405 from jagerman/retry-apt-get apt-get tweaks for the docker/debian builds