Deployed file ignore
Create Agda.gitignore

Ignore .agdai files, they're binary files generated by typechecking .agda files.

Agda is an interactive proof assistant, home page here:
http://wiki.portal.chalmers.se/agda/pmwiki.php

`.agdai` files seem to be only documented here (and indirectly by googling):
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips

A prominent repository using Agda on github:
https://github.com/HoTT/HoTT-Agda/
Their gitignore files:
https://github.com/HoTT/HoTT-Agda/blob/master/.gitignore
Ignore local.xml as this contains database credentials.
added webmethods related gitignore file
added wildcards and ignored packages named with Wm. if you have a custom page named Wm, you will need to use force to check in.
adding - due to sourcetree
Merge pull request #725 from shivam5992/patch-1

Deployed file ignore
Merge pull request #738 from Blaisorblade/patch-1

Create Agda.gitignore
Merge pull request #755 from ohmanger/patch-1

Ignore local.xml as this contains database credentials.
Moved file to Global
Remove generic and Java ignore patterns

Those belong in other ignore files.
Merge pull request #760