summaryrefslogtreecommitdiff
path: root/.hgignore
Commit message (Expand)AuthorAge
* Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...Gravatar stefanheule2011-08-03
* Chalice: Chalice is now built using sbt (simple built tool).Gravatar stefanheule2011-08-02
* Jennisys: added Jennesys/Jennesys/examples/bak to hgignoreGravatar Unknown2011-07-21
* Chalice: Completely switch to new testing scripts (more flexible and fine-gra...Gravatar stefanheule2011-07-05
* More files for Hg to ignoreGravatar Rustan Leino2011-05-11
* Ignored some new files.Gravatar Mike Barnett2011-05-03
* Add a method to the Sink that is responsible for creating a Boogie expressionGravatar Unknown2011-04-28
* merge changes with shaz's checkin.Gravatar Unknown2011-04-27
* merging in my changes i committed in 999.Gravatar Unknown2011-04-12
* Ignore other temporary files, including emacs backup filesGravatar Rustan Leino2011-04-07
* Ignore generated filesGravatar Michal Moskal2011-04-04