diff options
| author |  tabarbe <unknown> | 2010-08-27 00:24:40 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 00:24:40 +0000 |
| commit | 23a34b0b43e4bad8c1919d65e38f76117ab8b20e (patch) | |
| tree | 4dcab72ba7fadb12f1d0d38da3c543aca1487900 /Source/Graph | |
| parent | 68d4ee27e31f0bcd6ec1c5e98f592d0bdfe7eb28 (diff) | |
Boogie: Renaming the Graph files in preparation for the commit of my port.
Diffstat (limited to 'Source/Graph')
| -rw-r--r-- | Source/Graph/Graph.cs (renamed from Source/Graph/Graph.ssc) | 0 | ||||
| -rw-r--r-- | Source/Graph/Graph.csproj (renamed from Source/Graph/Graph.sscproj) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/Source/Graph/Graph.ssc b/Source/Graph/Graph.cs index 12f7fd8c..12f7fd8c 100644 --- a/Source/Graph/Graph.ssc +++ b/Source/Graph/Graph.cs diff --git a/Source/Graph/Graph.sscproj b/Source/Graph/Graph.csproj index e849b569..e849b569 100644 --- a/Source/Graph/Graph.sscproj +++ b/Source/Graph/Graph.csproj |