summaryrefslogtreecommitdiff
path: root/Source/CodeContractsExtender/CodeContractsExtender.csproj
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/CodeContractsExtender/CodeContractsExtender.csproj
parent8ed5dab22d8377924ee6282b83c1b1f8aa8f3573 (diff)
Rename DLLs to non-generic names by prefixing "Boogie". Project names and
namespaces remain the same.
Diffstat (limited to 'Source/CodeContractsExtender/CodeContractsExtender.csproj')
-rw-r--r--Source/CodeContractsExtender/CodeContractsExtender.csproj8
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/CodeContractsExtender/CodeContractsExtender.csproj b/Source/CodeContractsExtender/CodeContractsExtender.csproj
index 05701c12..38535dc4 100644
--- a/Source/CodeContractsExtender/CodeContractsExtender.csproj
+++ b/Source/CodeContractsExtender/CodeContractsExtender.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>CodeContractsExtender</RootNamespace>
- <AssemblyName>CodeContractsExtender</AssemblyName>
+ <AssemblyName>BoogieCodeContractsExtender</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<SignAssembly>true</SignAssembly>
@@ -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>
@@ -199,4 +199,4 @@
<Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project> \ No newline at end of file