Merge branch 'master' into master

pull/2766/head
Zoltan Baldaszti 2019-11-20 16:55:22 +01:00 committed by GitHub
commit 6b63aa6159
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

1
.gitignore vendored
View File

@ -2,6 +2,7 @@
build
.project
*.kdev4*
.DS_Store
# build artefacts
*.o