Merge branch 'master' into master

This commit is contained in:
Thomas Johnson 2017-11-30 11:52:18 -08:00 • committed by GitHub
commit 387c8b79fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 43 additions and 2 deletions

3
.gitignore vendored
View file

@ -1,4 +1,5 @@
nimcache/
/tests/tester
/tools/karun
*.code-workspace
*.code-workspace
*.exe