Fixing a minor typo in the installation docs #3354

Merged
merged 1 commit into from Mar 25, 2013
Commits on Mar 25, 2013