Merge pull request #304 from nocriw/fix/stdlib_newline

stdlib: remove newline at end of file
This commit is contained in:
Andrea Crotti 2019-02-28 14:36:25 +00:00 committed by GitHub
commit 1c1a5d273d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23