diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-05-02 09:24:33 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-05-02 09:24:33 +0200 |
commit | 022d58e02a6276aa830639ad641aae1542731bbe (patch) | |
tree | af58ef1838ad31d403f3de46aaec1dea9972eac6 /MANUAL.txt | |
parent | c0192132cfbe2bc7ee22519b556cf9dbf52bac47 (diff) |
stack.yaml: use lts-8.12.
This should fix the build failure on travis.
Diffstat (limited to 'MANUAL.txt')
0 files changed, 0 insertions, 0 deletions