Remove codex.tags and ignore
commit5efcc2333c6a39d8a7e0b3c3cb0fae0d1da925b2
authorArguggi <git@arguggi.co.uk>
dateThu 20 Oct 2016, 08:26 (10 years ago)
parent5de242b
.gitignore+1
@@ -35,3 +35,4 @@ hsenv.log
3535.cabal-sandbox/
3636cabal.sandbox.config
3737.stack-work
38+codex.tags
codex.tagsdeleted−44025
This diff is too big to show here.