From: Ummon <greg.burri@gmail.com>
Date: Sun, 30 Nov 2014 20:43:09 +0000 (+0100)
Subject: Remove user preferences.
X-Git-Url: https://git.euphorik.ch/?a=commitdiff_plain;h=aa6da23b467f0fad1344c6dd29972f56cad7175c;p=crypto_lab2.git

Remove user preferences.
---

diff --git a/labo2-fsharp/labo2-fsharp.userprefs b/labo2-fsharp/labo2-fsharp.userprefs
deleted file mode 100644
index 50e62ba..0000000
--- a/labo2-fsharp/labo2-fsharp.userprefs
+++ /dev/null
@@ -1,19 +0,0 @@
-<Properties>
-  <MonoDevelop.Ide.Workspace ActiveConfiguration="Release|x86" />
-  <MonoDevelop.Ide.Workbench ActiveDocument="CryptoFile/Crypto.fs">
-    <Files>
-      <File FileName="CryptoFile/UnitTests.fs" Line="1" Column="1" />
-      <File FileName="CryptoFile/Crypto.fs" Line="9" Column="9" />
-      <File FileName="CryptoFile/Types.fs" Line="1" Column="1" />
-      <File FileName="run_tests.sh" Line="1" Column="1" />
-      <File FileName="CryptoFileTests/Program.fs" Line="1" Column="1" />
-      <File FileName="CryptoFile/API.fs" Line="77" Column="77" />
-      <File FileName="CryptoFileTests/AssemblyInfo.fs" Line="1" Column="1" />
-      <File FileName="CryptoFileTests/Tests.fs" Line="1" Column="1" />
-    </Files>
-  </MonoDevelop.Ide.Workbench>
-  <MonoDevelop.Ide.DebuggingService.Breakpoints>
-    <BreakpointStore />
-  </MonoDevelop.Ide.DebuggingService.Breakpoints>
-  <MonoDevelop.Ide.DebuggingService.PinnedWatches />
-</Properties>
\ No newline at end of file