gnieh/bluelatex — pull request #67 by tdurieux (2014-05-20 19:13:22+00:00)
Title: Modify compiler options

Send modifications of compiler options to the server.