summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2014-05-30 13:13:03 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2014-05-30 13:13:03 +0200
commit59df9e241d035c9e5ea0859d1b9b0abf70ab1596 (patch)
tree27b00059d5250ac30a46bf4a99e63b326f77a1e7 /debian
parent7adaab0430308a17f1db279f0ebbed8068dd4308 (diff)
parentb5ea5d4a5b8f82afb7bbe4c3eee07ae36f2fba9c (diff)
Merge EDSP 0.5 w/ multi-arch support for external solvers
"I am going to merge it tomorrow…"
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions