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