diff options
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 |