diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-01-30 00:17:35 -0800 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-01-30 00:17:35 -0800 |
| commit | 9af4ee9011438dea9ad962cfee4a2adaf24b26d4 (patch) | |
| tree | 499d7553539e9db417b77a35ec5c6588f8eb3537 /packages/glpk | |
| parent | 4382cadadfb4b9312c49fa5fe51537f60a7e2f54 (diff) | |
| parent | 70c4b197cc7cea6bf6c162205bb439a9cb80a2ff (diff) | |
Merge pull request #60 from aavogt/master
small changes for compatibility with newer (to-be released) ghcs
Diffstat (limited to 'packages/glpk')
0 files changed, 0 insertions, 0 deletions