mozilla/rust — pull request #8076 by omasanori (2013-07-27 07:34:52+00:00)
Title: Remove unnecessary #[path = "***/mod.rs"] lines.

A cleanup suggested on #7922.