From aa6da23b467f0fad1344c6dd29972f56cad7175c Mon Sep 17 00:00:00 2001 From: Ummon Date: Sun, 30 Nov 2014 21:43:09 +0100 Subject: [PATCH] Remove user preferences. --- labo2-fsharp/labo2-fsharp.userprefs | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 labo2-fsharp/labo2-fsharp.userprefs 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 @@ - - - - - - - - - - - - - - - - - - - \ No newline at end of file -- 2.45.2