diff options
| author |  mschwerhoff <unknown> | 2010-05-12 14:39:35 +0000 |
|---|---|---|
| committer | mschwerhoff <unknown> | 2010-05-12 14:39:35 +0000 |
| commit | f34f3551a17f9971231cd5c8fec8f27b6f9337b7 (patch) | |
| tree | 766ce8bc0efcef3bf2c744a25997cedad16cb022 /Test/dafny0/Answer | |
| parent | 33a5c553fab275428437c0439667fc09d2f89dce (diff) | |
Changed the 'svn:ignore' property of /Binaries such that ALL currently not svn-added files are ignored. Currently added are only the files that are not generated during the build process (e.g. Makefile, FSharp.Core.dll), hence all files generated during the build process won't be committed.
Diffstat (limited to 'Test/dafny0/Answer')
0 files changed, 0 insertions, 0 deletions