Merge branch 'master' into master

This commit is contained in:
Gennadiy Civil 2018-07-19 12:54:43 -04:00 committed by GitHub
commit 61b8197217
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
.gitignore vendored
View File

@ -38,3 +38,6 @@ googletest/m4/lt~obsolete.m4
# Ignore generated directories.
googlemock/fused-src/
googletest/fused-src/
# macOS files
.DS_Store