Merge branch 'master' into development

This commit is contained in:
Mario Romano
2017-01-30 12:59:51 +00:00
committed by GitHub
2 changed files with 1 additions and 2 deletions

View File

@@ -55,4 +55,3 @@ test_script:
# Don't actually build.
build: off