summaryrefslogtreecommitdiff
path: root/.hgignore
Commit message (Expand)AuthorAge
* Add Test/sandbox/* to .hgignoreGravatar Clément Pit--Claudel2015-07-21
* DafnyExtension: Ignore copied file.Gravatar wuestholz2014-09-28
* added ignored filesGravatar Reza Ahmadi2014-07-18
* Produce "tail recursive" hover text in the IDE only for methods that are recu...Gravatar Rustan Leino2013-12-13
* Updated an 'Answer' file.Gravatar wuestholz2013-05-26
* Updated several project files.Gravatar wuestholz2013-05-21