deleted useless editor temp files that were accidentally checked in§