Merge pull request #108 from Arguggi/develop
Remove codex.tags and ignore
commit083977ea24e223c339626f52054222a7497a279b
authorRyan Trinkle <ryan.trinkle@gmail.com>
dateThu 20 Oct 2016, 08:22 (10 years ago)
parent5de242b5efcc23
.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.