summaryrefslogtreecommitdiff
path: root/packages/glpk
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2015-09-01 16:47:07 +0200
committerAlberto Ruiz <aruiz@um.es>2015-09-01 16:47:07 +0200
commit8398f05c605f2c4481c978047f75b0d0a7e92aa0 (patch)
tree409ffbfb20d2ba4612e03b1761614e15ca3d8a86 /packages/glpk
parent39a6527597bcd50558953eb3fa2c56899b93297b (diff)
skip exactProp test
Diffstat (limited to 'packages/glpk')
0 files changed, 0 insertions, 0 deletions