diff options
Diffstat (limited to 'Source/DafnyMenu/VSPackage.resx')
-rw-r--r-- | Source/DafnyMenu/VSPackage.resx | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Source/DafnyMenu/VSPackage.resx b/Source/DafnyMenu/VSPackage.resx index 8ab9cc50..effe10d4 100644 --- a/Source/DafnyMenu/VSPackage.resx +++ b/Source/DafnyMenu/VSPackage.resx @@ -1,14 +1,4 @@ <?xml version="1.0" encoding="utf-8"?>
-<!--
- VS SDK Notes: This resx file contains the resources that will be consumed from your package by Visual Studio.
- For example, Visual Studio will attempt to load resource '400' from this resource stream when it needs to
- load your package's icon. Because Visual Studio will always look in the VSPackage.resources stream first for
- resources it needs, you should put additional resources that Visual Studio will load directly into this resx
- file.
-
- Resources that you would like to access directly from your package in a strong-typed fashion should be stored
- in Resources.resx or another resx file.
--->
<root>
<!--
Microsoft ResX Schema
@@ -127,14 +117,10 @@ <resheader name="writer">
<value>System.Resources.ResXResourceWriter, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089</value>
</resheader>
- <assembly alias="System.Windows.Forms" name="System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089" />
<data name="110" xml:space="preserve">
<value>DafnyMenu</value>
</data>
<data name="112" xml:space="preserve">
<value>This is a menu for invoking Dafny.</value>
</data>
- <data name="400" type="System.Resources.ResXFileRef, System.Windows.Forms">
- <value>Resources\Package.ico;System.Drawing.Icon, System.Drawing, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a</value>
- </data>
</root>
\ No newline at end of file |