woothemes/woocommerce — pull request #4274 by BFTrick (2013-12-03 16:41:13+00:00)
Title: Removing Unnecessary index.php File

See the discussion in #4265 for the reason we're removing this `index.php` file.