diff options
| author |  tabarbe <unknown> | 2010-07-13 23:31:53 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-13 23:31:53 +0000 |
| commit | f3e5cd579f2cfb38a043272a5c393db2dc410b8d (patch) | |
| tree | 0c45ce35ebf6e7b5e0566f468afc42569ad42db9 | |
| parent | c74e37d3cf7845443928d4f7a4cbcedefc2e33fe (diff) | |
Renaming the old boogiedriver sources in preparation for syncing my ported changes.
| -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.csproj (renamed from Source/BoogieDriver/BoogieDriver.sscproj) | 0 |
3 files changed, 0 insertions, 0 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 74ad7b8e..74ad7b8e 100644 --- a/Source/BoogieDriver/BoogieDriver.ssc +++ b/Source/BoogieDriver/BoogieDriver.cs diff --git a/Source/BoogieDriver/BoogieDriver.sscproj b/Source/BoogieDriver/BoogieDriver.csproj index bf95f536..bf95f536 100644 --- a/Source/BoogieDriver/BoogieDriver.sscproj +++ b/Source/BoogieDriver/BoogieDriver.csproj |