diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-10-09 14:44:32 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-09 14:44:32 -0700 |
commit | 3687dc36d584ed1758898e2ce612ff96f1d9f6a5 (patch) | |
tree | 2c9074e53c17aff1a9ed4da01ac827fb902f15bf /benchmark | |
parent | 114103d67fcb100dda8edde45fa3eee680cdd678 (diff) |
Test also on ghc 7.4.2.
Made make_travis_yml.hs a bit more robust.
Diffstat (limited to 'benchmark')
0 files changed, 0 insertions, 0 deletions