diff options
author | Rustan Leino <leino@microsoft.com> | 2012-10-04 13:32:50 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 13:32:50 -0700 |
commit | 8911e5c95d4715c2e2626aef67f19793d6f43201 (patch) | |
tree | d703bfd931802e780430e32f1339cf77adc342a4 /Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs | |
parent | 1c375d1889e628fcd2a1a0fc041673a5f4230d84 (diff) |
Put all sources under \Source directory
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs')
-rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs deleted file mode 100644 index d8487f74..00000000 --- a/Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs +++ /dev/null @@ -1,18 +0,0 @@ -using System.ComponentModel.Composition;
-using Microsoft.VisualStudio.Utilities;
-
-namespace DafnyLanguage
-{
- class DafnyContentType
- {
- [Export]
- [Name("dafny")]
- [BaseDefinition("code")]
- internal static ContentTypeDefinition ContentType = null;
-
- [Export]
- [FileExtension(".dfy")]
- [ContentType("dafny")]
- internal static FileExtensionToContentTypeDefinition FileType = null;
- }
-}
|