martine/ninja — pull request #469 by barak (2012-12-11 12:11:09+00:00)
Title: Update manual.html

typo: "defaulton" to "default on"