monodevelop crashed while moving those files, resulting in missing in repo...