summaryrefslogtreecommitdiff
path: root/Source/Graph
diff options
context:
space:
mode:
authorGravatar akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>2016-04-15 23:30:34 -0500
committerGravatar akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>2016-04-15 23:30:34 -0500
commitae29deff82ad873a3dd541cb2d74d362d26f94c2 (patch)
treedf6267d9145caacd96c4ef4820eaf3debd4ef266 /Source/Graph
parent8ed5dab22d8377924ee6282b83c1b1f8aa8f3573 (diff)
Rename DLLs to non-generic names by prefixing "Boogie". Project names and
namespaces remain the same.
Diffstat (limited to 'Source/Graph')
-rw-r--r--Source/Graph/Graph.csproj8
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/Graph/Graph.csproj b/Source/Graph/Graph.csproj
index 66759719..7e610d46 100644
--- a/Source/Graph/Graph.csproj
+++ b/Source/Graph/Graph.csproj
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -9,7 +9,7 @@
<OutputType>Library</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>Graph</RootNamespace>
- <AssemblyName>Graph</AssemblyName>
+ <AssemblyName>BoogieGraph</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
@@ -34,7 +34,7 @@
<IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
- <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'">Client</TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -196,4 +196,4 @@
<Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project> \ No newline at end of file