20151024151554_remove_structured_proofs.rb for revision aaed3b8ba5283ffe20814ea45c6d148fd74eec92 is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.