Merge pull request #4822 from ljli/patch-1
commitdf40253a4907898b75ceb438d98bbe4fd9180a81
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Fri, 13 Oct 2017 00:12:09 +0000 (13 01:12 +0100)
committerGitHub <noreply@github.com>
Fri, 13 Oct 2017 00:12:09 +0000 (13 01:12 +0100)
treeb1344d744b5fb196b3a49b81d22c95411c35c5d6
parent4a43780e45ef5416788fc68bce64da2bc552cdac
parent1d3995dc1c9fe38ab67f9e245ed399a3e2a69fec
Merge pull request #4822 from ljli/patch-1

Delete cabal-install/.ghci