remove useless require #6435

Merged
merged 1 commit into from May 22, 2012
Commits on May 22, 2012
  1. remove useless require

    janx committed May 22, 2012