box3d.cpp for revision 725274d44aa54f0543dbd2397cdd68b8afd5d20a is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.