github/gitignore — pull request #449 by arathvelazquez (2012-10-11 02:53:18+00:00)
Title: For CodeIgeniter, development directory is not included anymore. User_guide also should be ignored.

... ignored.