DafnyExtension: Worked on integrating BVD.

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