--mirror-- Christopher Costa (chcosta@microsoft.com) Tue Dec 16 22:11:09 2014 -0800 Deleting a file