diff options
author | tabarbe <unknown> | 2010-08-04 00:00:17 +0000 |
---|---|---|
committer | tabarbe <unknown> | 2010-08-04 00:00:17 +0000 |
commit | bd0e4654440b99bfb768315851e46a53c054c2c9 (patch) | |
tree | a5c220020b8d767bfd673020957c75b7889defbb /Source/Dafny/DafnyPipeline.csproj | |
parent | f5426a45e9b2dd47c49403ef0dbec81b0a72a7b7 (diff) |
Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny dir.
Do not attempt to regenerate the Parser and Scanner files before the port of Boogie/Core is done, as these have undergone changes, but will not be committed until after the Core port.
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
0 files changed, 0 insertions, 0 deletions