-
Mikhail Glushenkov authored
Unlike 'cabal-dev', we don't create a tarball, but simply copy the files to a private location. Fixes #1143.
20fe4485
Unlike 'cabal-dev', we don't create a tarball, but simply copy the files to a private location. Fixes #1143.