diff options
author | Rustan Leino <unknown> | 2015-02-27 14:24:22 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2015-02-27 14:24:22 -0800 |
commit | c80094ecb0101406599cb9b1a169e2e6e03ff6e7 (patch) | |
tree | adf6cb17592c38fbdee0592197b59b1c845876cc /Util/VS2010/Dafny/DafnyLanguageService/source.extension.vsixmanifest | |
parent | d77f0e32ce017b00573d5fff9929470d8c2a9830 (diff) |
Removed Util/VS2010 folder, which has been superseded by DafnyExtension years ago
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService/source.extension.vsixmanifest')
-rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/source.extension.vsixmanifest | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/source.extension.vsixmanifest b/Util/VS2010/Dafny/DafnyLanguageService/source.extension.vsixmanifest deleted file mode 100644 index 58e160cd..00000000 --- a/Util/VS2010/Dafny/DafnyLanguageService/source.extension.vsixmanifest +++ /dev/null @@ -1,27 +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="DafnyService.MicrosoftResearch.A38156F6-63DF-4E3C-8D23-07D3DE0D3388">
- <Name>DafnyService</Name>
- <Author>Microsoft Research</Author>
- <Version>1.0</Version>
- <Description>Information about my package</Description>
- <Locale>1033</Locale>
- <!--<InstalledByMSI>false</InstalledByMSI>-->
- <SupportedProducts>
- <VisualStudio Version="10.0">
- <Edition>Pro</Edition>
- <Edition>VST_All</Edition>
- </VisualStudio>
- </SupportedProducts>
- <SupportedFrameworkRuntimeEdition MinVersion="2.0" MaxVersion="4.0" />
- </Identifier>
-
- <References/>
-
- <Content>
- <VsPackage>
- DafnyService.pkgdef
- </VsPackage>
- </Content>
-</Vsix>
|