diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2014-05-30 13:13:03 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-05-30 13:13:03 +0200 |
| commit | 59df9e241d035c9e5ea0859d1b9b0abf70ab1596 (patch) | |
| tree | 27b00059d5250ac30a46bf4a99e63b326f77a1e7 /mirror-failure.py | |
| parent | 7adaab0430308a17f1db279f0ebbed8068dd4308 (diff) | |
| parent | b5ea5d4a5b8f82afb7bbe4c3eee07ae36f2fba9c (diff) | |
Merge EDSP 0.5 w/ multi-arch support for external solvers
"I am going to merge it tomorrow…"
Diffstat (limited to 'mirror-failure.py')
0 files changed, 0 insertions, 0 deletions