From 532a4da6c03812c00a09d64c5b1d20209fc70392 Mon Sep 17 00:00:00 2001 From: Bradley Friedman Date: Thu, 11 Sep 2014 20:23:01 -0400 Subject: [PATCH] removed an errant monodevelop .userprefs file and added *.userprefs to .gitignore --- .gitignore | 1 + monopythonnet.userprefs | 25 ------------------------- 2 files changed, 1 insertion(+), 25 deletions(-) delete mode 100644 monopythonnet.userprefs diff --git a/.gitignore b/.gitignore index 93c90ec2a..8f598f0df 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ packages/* dist pythonnet.egg-info +*.userprefs diff --git a/monopythonnet.userprefs b/monopythonnet.userprefs deleted file mode 100644 index 79938e85b..000000000 --- a/monopythonnet.userprefs +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file