Move
commit5a31d9a92e84d9d2d122e32398d5468df35db837
authorPhil Freeman <paf31@cantab.net>
dateSat 24 Sep 2016, 14:47 (10 years ago)
parent5fcd2d7
verify-package-set/.gitignore → .gitignorerenamed
The content is the same.
verify-package-set/LICENSE → LICENSErenamed
The content is the same.
verify-package-set/Setup.hs → Setup.hsrenamed
The content is the same.
verify-package-set/app/Main.hs → app/Main.hsrenamed
The content is the same.
verify-package-set/packages.json → packages.jsonrenamed
The content is the same.
verify-package-set/src/Verify.hs → src/Verify.hsrenamed
The content is the same.
verify-package-set/stack.yaml → stack.yamlrenamed
The content is the same.
verify-package-set/verify-package-set.cabal → verify-package-set.cabalrenamed
The content is the same.