pyjs/pyjs — pull request #825 by DavidRagazzi (2014-06-17 12:32:03+00:00)
Title: Highlight shell commands

Current version is confused as instructions and commands are mixed.