[fix ci] adds pretty-show
commit0356a9cb4b8bc6a5d4bc329186210e72a7036179
authorMoritz Angermann <moritz.angermann@gmail.com>
Fri, 9 Feb 2018 03:02:02 +0000 (9 11:02 +0800)
committerMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Sat, 10 Feb 2018 08:48:32 +0000 (10 08:48 +0000)
treea60bf6c38dcbbe4e4e3288e04f85e98891ca2347
parent1bd16e163a2967d9e559476dce1e969565d8cfaa
[fix ci] adds pretty-show
14 files changed:
pretty-show-1.6.16/CHANGELOG [new file with mode: 0644]
pretty-show-1.6.16/LICENSE [new file with mode: 0644]
pretty-show-1.6.16/Setup.lhs [new file with mode: 0644]
pretty-show-1.6.16/Text/Show/Html.hs [new file with mode: 0644]
pretty-show-1.6.16/Text/Show/Parser.y [new file with mode: 0644]
pretty-show-1.6.16/Text/Show/Pretty.hs [new file with mode: 0644]
pretty-show-1.6.16/Text/Show/PrettyVal.hs [new file with mode: 0644]
pretty-show-1.6.16/Text/Show/Value.hs [new file with mode: 0644]
pretty-show-1.6.16/bin/ppsh.hs [new file with mode: 0644]
pretty-show-1.6.16/pretty-show.cabal [new file with mode: 0644]
pretty-show-1.6.16/style/jquery-src.js [new file with mode: 0644]
pretty-show-1.6.16/style/jquery.js [new file with mode: 0644]
pretty-show-1.6.16/style/pretty-show.css [new file with mode: 0644]
pretty-show-1.6.16/style/pretty-show.js [new file with mode: 0644]