s/WinExe/Exe/ in the project configuration.

[crypto_lab2.git] / labo2-fsharp / labo2-fsharp.userprefs

diff --git a/labo2-fsharp/labo2-fsharp.userprefs b/labo2-fsharp/labo2-fsharp.userprefs
index 8598d4a..f66caaa 100644 (file)
--- a/labo2-fsharp/labo2-fsharp.userprefs
+++ b/labo2-fsharp/labo2-fsharp.userprefs
@@ -1,10 +1,15 @@
 <Properties>
   <MonoDevelop.Ide.Workspace ActiveConfiguration="Debug|x86" />
-  <MonoDevelop.Ide.Workbench ActiveDocument="CryptoFileTests/Program.fs">
+  <MonoDevelop.Ide.Workbench ActiveDocument="CryptoFile/API.fs">
     <Files>
+      <File FileName="CryptoFile/UnitTests.fs" Line="1" Column="1" />
       <File FileName="CryptoFile/Crypto.fs" Line="1" Column="1" />
-      <File FileName="CryptoFileTests/Program.fs" Line="14" Column="14" />
-      <File FileName="CryptoFile/Tests.fs" Line="20" Column="20" />
+      <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="47" Column="47" />
+      <File FileName="CryptoFileTests/AssemblyInfo.fs" Line="1" Column="1" />
+      <File FileName="CryptoFileTests/Tests.fs" Line="1" Column="1" />
     </Files>
     <Pads>
       <Pad Id="ProjectPad">