diff options
| author |  tabarbe <unknown> | 2010-07-28 22:26:07 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-28 22:26:07 +0000 |
| commit | 74f4e95b2f9f376db1e8d60c0708426684723718 (patch) | |
| tree | 9ee0e90ae16e30b891588b75537db18da57fcc3b /DafnyDriver | |
| parent | cd39df6071c1e6636c92d499381695d1bed5ec0a (diff) | |
Dafny/DafnyDriver: Renaming source files in preparation for port commit
Diffstat (limited to 'DafnyDriver')
| -rw-r--r-- | DafnyDriver/DafnyDriver.cs (renamed from DafnyDriver/DafnyDriver.ssc) | 0 | ||||
| -rw-r--r-- | DafnyDriver/DafnyDriver.csproj (renamed from DafnyDriver/DafnyDriver.sscproj) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/DafnyDriver/DafnyDriver.ssc b/DafnyDriver/DafnyDriver.cs index 952a5ea6..952a5ea6 100644 --- a/DafnyDriver/DafnyDriver.ssc +++ b/DafnyDriver/DafnyDriver.cs diff --git a/DafnyDriver/DafnyDriver.sscproj b/DafnyDriver/DafnyDriver.csproj index 9beb51a0..9beb51a0 100644 --- a/DafnyDriver/DafnyDriver.sscproj +++ b/DafnyDriver/DafnyDriver.csproj |