diff options
| author | Dominic Steinitz <dominic@steinitz.org> | 2018-04-03 12:16:41 +0100 |
|---|---|---|
| committer | Dominic Steinitz <dominic@steinitz.org> | 2018-04-03 12:16:41 +0100 |
| commit | 1622bf09e12b8df74f1303cfa2e0c4bc461c3350 (patch) | |
| tree | 04dbe63c059057d250ee10bfcfe922051fdf8243 /packages/glpk/src | |
| parent | a0f9a95d11bb59376d8facdb8ab14117f754088d (diff) | |
Use nix rather than ubuntu for CI
Diffstat (limited to 'packages/glpk/src')
0 files changed, 0 insertions, 0 deletions