summary refs log tree commit diff
path: root/demo/stop.sh (unfollow)
Commit message (Expand)AuthorFilesLines
2015-12-21Remove accidentally committed debug loggingMark Haines1-1/+0
2015-12-21pep8David Baker2-9/+9
2015-12-18Actually look up required remote server key IDsPaul "LeoNerd" Evans1-1/+3
2015-12-18Generate code coverage report when running jenkins.