Build #148 (22.04.2016 00:10:17)

1. worked on external editor support, compilation and error reporting (commit: 72831d5) (detail / githubweb)

Started by remote host 192.30.252.40 with note: null

• refs/remotes/origin/master