diff options
author | MichalMoskal <unknown> | 2010-10-12 02:02:17 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-10-12 02:02:17 +0000 |
commit | 34e754445e5e8a4ec5c4d0ec55a2fb4d9c80d9ae (patch) | |
tree | 74a092b3c721a9e9e44d5ca06785738cd8765987 /.gitignore | |
parent | 83059c03c7a73b319d9fc24d053ce6b2319f330c (diff) |
Put Model.cs in separate assembly. Fix signing/versioning with it.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -45,6 +45,8 @@ Binaries/Core.dll Binaries/Core.pdb
Binaries/Graph.dll
Binaries/Graph.pdb
+Binaries/Model.dll
+Binaries/Model.pdb
Binaries/Microsoft.Contracts.dll
Binaries/Provers.Isabelle.dll
Binaries/Provers.Isabelle.pdb
|