Connexions/oer.exports — pull request #124 by philschatz (2013-10-07 17:14:51+00:00)
Title: Diff pdf tool (exit status, colors)

Added exit status and changed the colors a bit