[patch] "--repair" option

Quick little patch to add a --repair option to monodevelop.in to delete
the "~/.config/MonoDevelop/" folder's contents. 

Hope its useful.
Zac
Index: ChangeLog
===================================================================
--- ChangeLog   (revision 2444)
+++ ChangeLog   (working copy)
@@ -1,3 +1,6 @@
+2005-04-10 Zac Bowling <zac@xxxxxxxxxxxxxx>
+       * monodevelop.in: added --repair option to delete profile
+
 2005-04-03  John Luke  <john.luke@xxxxxxxxx>
 
        * autogen.sh: add back aclocal
Index: monodevelop.in
===================================================================
--- monodevelop.in      (revision 2444)
+++ monodevelop.in      (working copy)
@@ -49,6 +49,11 @@
 cd $MD_BIN_PATH
 
 case x$1 in
+       x--repair)
+               echo "** Removing Profile Data **"
+               rm -rfv ~/.config/MonoDevelop/
+               exit 0
+               ;;
        x--profile)
                exec @RUNTIME@ --profile ./MonoDevelop.exe $@
                exit 0