20150806044907_remove_basic_proof_model.rb for revision 98d85d1178e853d8cd9628a86b7362481a921b9b is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.