diff options
-rw-r--r-- | Source/BoogieDriver/AssemblyInfo.cs (renamed from Source/BoogieDriver/AssemblyInfo.ssc) | 0 | ||||
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs (renamed from Source/BoogieDriver/BoogieDriver.ssc) | 0 | ||||
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.sscproj | 4 |
3 files changed, 2 insertions, 2 deletions
diff --git a/Source/BoogieDriver/AssemblyInfo.ssc b/Source/BoogieDriver/AssemblyInfo.cs index 6ed99a25..6ed99a25 100644 --- a/Source/BoogieDriver/AssemblyInfo.ssc +++ b/Source/BoogieDriver/AssemblyInfo.cs diff --git a/Source/BoogieDriver/BoogieDriver.ssc b/Source/BoogieDriver/BoogieDriver.cs index c1bf358e..c1bf358e 100644 --- a/Source/BoogieDriver/BoogieDriver.ssc +++ b/Source/BoogieDriver/BoogieDriver.cs diff --git a/Source/BoogieDriver/BoogieDriver.sscproj b/Source/BoogieDriver/BoogieDriver.sscproj index d2818f25..584a5e81 100644 --- a/Source/BoogieDriver/BoogieDriver.sscproj +++ b/Source/BoogieDriver/BoogieDriver.sscproj @@ -130,7 +130,7 @@ </Build>
<Files>
<Include>
- <File RelPath="BoogieDriver.ssc"
+ <File RelPath="BoogieDriver.cs"
SubType="Code"
BuildAction="Compile"
/>
@@ -140,7 +140,7 @@ />
<File BuildAction="Compile"
SubType="Code"
- RelPath="AssemblyInfo.ssc"
+ RelPath="AssemblyInfo.cs"
/>
</Include>
</Files>
|