summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* Ignore TPTP dllsGravatar MichalMoskal2011-01-19
* More BCT ignoresGravatar MichalMoskal2010-12-10
* Ignore some BCT filesGravatar MichalMoskal2010-12-10
* Rename BVD binary to (suprise!) BVDGravatar MichalMoskal2010-12-08
* Remove FSharp DLLs (no longer needed) and obsolete MakefileGravatar MichalMoskal2010-12-06
* Ignore more generated files.Gravatar MichalMoskal2010-12-02
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Add one more fileGravatar MichalMoskal2010-10-07
* Update to include all build artifacts, also from DafnyGravatar MichalMoskal2010-10-07
* Addint ignore file for GITGravatar stobies2010-08-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 19:00:29 +0000