Normalise line endings using a .gitattributes file. Unfortunately

this required that this commit globally modify most files. If you
want to use git blame to see the real author of a line use the
``-w`` flag so that whitespace changes are ignored.

1 files changed, 28 insertions, 28 deletions

diff --git a/Source/BVD/Program.cs b/Source/BVD/Program.cs
index 669ea995..a606c863 100644
--- a/Source/BVD/Program.cs
+++ b/Source/BVD/Program.cs
@@ -1,28 +1,28 @@
-using System;

-using System.Collections.Generic;

-using System.Linq;

-using System.Windows.Forms;

-

-namespace Microsoft.Boogie.ModelViewer

-{

-  static class Program

-  {

-    /// <summary>

-    /// The main entry point for the application.

-    /// </summary>

-    [STAThread]

-    static void Main()

-    {

-      Application.EnableVisualStyles();

-      Application.SetCompatibleTextRenderingDefault(false);

-      try

-      {

-        Application.Run(new Main(System.Environment.GetCommandLineArgs()));

-      }

-      catch (Exception exc)

-      {

-        MessageBox.Show(exc.Message, "Model Viewer Error", MessageBoxButtons.OK, MessageBoxIcon.Error, MessageBoxDefaultButton.Button1);

-      }

-    }

-  }

-}

+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Windows.Forms;
+
+namespace Microsoft.Boogie.ModelViewer
+{
+  static class Program
+  {
+    /// <summary>
+    /// The main entry point for the application.
+    /// </summary>
+    [STAThread]
+    static void Main()
+    {
+      Application.EnableVisualStyles();
+      Application.SetCompatibleTextRenderingDefault(false);
+      try
+      {
+        Application.Run(new Main(System.Environment.GetCommandLineArgs()));
+      }
+      catch (Exception exc)
+      {
+        MessageBox.Show(exc.Message, "Model Viewer Error", MessageBoxButtons.OK, MessageBoxIcon.Error, MessageBoxDefaultButton.Button1);
+      }
+    }
+  }
+}