Added cabal-dev dir. #186

Merged
merged 1 commit into from Sep 1, 2011

Conversation

Projects
None yet
2 participants
@chrisdone
Contributor

chrisdone commented Aug 7, 2011

cabal-dev is a per-project Cabal repository, but you don't include it in your source control tool, it should be ignored.

defunkt added a commit that referenced this pull request Sep 1, 2011

@defunkt defunkt merged commit 7c0064a into github:master Sep 1, 2011

drothmaler pushed a commit to drothmaler/gitignore that referenced this pull request May 27, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment