github/gitignore — pull request #624 by finnjohnsen (2013-04-22 07:53:29+00:00)
Title: removed implicit ignore

/web-app/WEB-INF is already ignored, no need to specify sub-directories