diff options
author | 2015-05-14 14:47:53 -0400 | |
---|---|---|
committer | 2015-05-14 14:47:53 -0400 | |
commit | 76e69deadf246c95ac4a49b7b72af49a742d235b (patch) | |
tree | a3abe68dd8c5c67afeebdc312e358ec8b34a21ce /doc/videos.mdwn | |
parent | 5445c78ce13fab97df3d34fdbd40fd80855aa3d9 (diff) |
adjust fast build so that ./ghci works with ghc 7.8.4
Diffstat (limited to 'doc/videos.mdwn')
0 files changed, 0 insertions, 0 deletions