diff options
| author |  wuestholz <unknown> | 2013-06-03 18:06:21 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-03 18:06:21 -0700 |
| commit | bae256656129581b928b150e111573ce7571385d (patch) | |
| tree | 1f0a159905f1e941e8d8dd58d51cbd6035f404a2 /Source/DafnyExtension/DafnyExtension.csproj | |
| parent | ab50e74e3122f19916d9010a5fba88de78b1c4df (diff) | |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 13045b13..eb50f698 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -206,9 +206,6 @@ <SubType>Designer</SubType>
</None>
</ItemGroup>
- <ItemGroup>
- <WCFMetadata Include="Service References\" />
- </ItemGroup>
<PropertyGroup>
<VisualStudioVersion Condition="'$(VisualStudioVersion)' == ''">10.0</VisualStudioVersion>
<VSToolsPath Condition="'$(VSToolsPath)' == ''">$(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion)</VSToolsPath>
|