1 files changed, 0 insertions, 25 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest b/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest
deleted file mode 100644
index ef5c1cf5..00000000
--- a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest
+++ /dev/null
@@ -1,25 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Vsix xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" Version="1.0.0" xmlns="http://schemas.microsoft.com/developer/vsx-schema/2010">
-  <Identifier Id="DafnyLanguageMode.Microsoft.6c7ed99a-206a-4937-9e08-b389de175f68">
-    <Name>DafnyLanguageMode</Name>
-    <Author>Microsoft Research</Author>
-    <Version>1.0</Version>
-    <Description xml:space="preserve">This is a language mode for using the Dafny language inside Visual Studio.</Description>
-    <Locale>1033</Locale>
-    <SupportedProducts>
-      <VisualStudio Version="10.0">
-        <Edition>Pro</Edition>
-      </VisualStudio>
-      <VisualStudio Version="11.0">
-        <Edition>Pro</Edition>
-      </VisualStudio>
-    </SupportedProducts>
-    <SupportedFrameworkRuntimeEdition MinVersion="4.0" MaxVersion="4.0" />
-  </Identifier>
-  <References />
-  <Content>
-    <MefComponent>|%CurrentProject%|</MefComponent>
-    <CustomExtension Type="Boogie">DafnyPrelude.bpl</CustomExtension>
-    <CustomExtension Type="SMTLib 2">UnivBackPred2.smt2</CustomExtension>
-  </Content>
-</Vsix>