userprefs ignored

contains settings for Monodevelop (which files are open at which line)