ev3dev/ev3dev.github.io — pull request #26 by moriarty (2014-11-18 06:03:12+00:00)
Title: Typo fix

Fixed typo pointed out by @dlech in ev3dev/ev3dev.github.io#25