diff options
author | 2010-08-27 15:44:32 +0000 | |
---|---|---|
committer | 2010-08-27 15:44:32 +0000 | |
commit | 506ce6e08d95c8664857dcb285b8c3f58f5c0bef (patch) | |
tree | d5adfd106d58f4cfd78c4853f59d021e01ec6387 /Source/Basetypes | |
parent | 084bdf9c8ec1abc3589d2e040531d40d33dcd19d (diff) |
Boogie: Renaming the Basetypes sources in preparation for my port commit.
Diffstat (limited to 'Source/Basetypes')
-rw-r--r-- | Source/Basetypes/AssemblyInfo.cs (renamed from Source/Basetypes/AssemblyInfo.ssc) | 0 | ||||
-rw-r--r-- | Source/Basetypes/Basetypes.csproj (renamed from Source/Basetypes/Basetypes.sscproj) | 0 | ||||
-rw-r--r-- | Source/Basetypes/BigNum.cs (renamed from Source/Basetypes/BigNum.ssc) | 0 | ||||
-rw-r--r-- | Source/Basetypes/Rational.cs (renamed from Source/Basetypes/Rational.ssc) | 0 | ||||
-rw-r--r-- | Source/Basetypes/Set.cs (renamed from Source/Basetypes/Set.ssc) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/Source/Basetypes/AssemblyInfo.ssc b/Source/Basetypes/AssemblyInfo.cs index 6ed99a25..6ed99a25 100644 --- a/Source/Basetypes/AssemblyInfo.ssc +++ b/Source/Basetypes/AssemblyInfo.cs diff --git a/Source/Basetypes/Basetypes.sscproj b/Source/Basetypes/Basetypes.csproj index 46901fae..46901fae 100644 --- a/Source/Basetypes/Basetypes.sscproj +++ b/Source/Basetypes/Basetypes.csproj diff --git a/Source/Basetypes/BigNum.ssc b/Source/Basetypes/BigNum.cs index 33ecf672..33ecf672 100644 --- a/Source/Basetypes/BigNum.ssc +++ b/Source/Basetypes/BigNum.cs diff --git a/Source/Basetypes/Rational.ssc b/Source/Basetypes/Rational.cs index ca87b223..ca87b223 100644 --- a/Source/Basetypes/Rational.ssc +++ b/Source/Basetypes/Rational.cs diff --git a/Source/Basetypes/Set.ssc b/Source/Basetypes/Set.cs index 9286d6f5..9286d6f5 100644 --- a/Source/Basetypes/Set.ssc +++ b/Source/Basetypes/Set.cs |