Merge remote-tracking branch 'origin/master'

2019-11-06 12:00:16 +01:00 · 2019-11-06 12:00:16 +01:00 · f1e01fa781
commit f1e01fa781
parent ba80cbb229 a6bbe0c557
3 changed files with 2 additions and 9 deletions
--- a/.build_linux_amd64.txt
+++ b/.build_linux_amd64.txt
@ -1,4 +0,0 @@
-1
-success
-2f07e0d0447ec44d265d43b2cd85b3db3143a131
-Sa 6. Jul 15:24:36 CEST 2019
--- a/.build_win32_amd64.txt
+++ b/.build_win32_amd64.txt
@ -1,4 +0,0 @@
-1
-success
-870933c892c6b84a7127daac8f92f5c205b09611
-22 Sep 2019 16:25:55
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,4 @@
 cmake-build-*/
 .idea/
-out/
+out/
+.build_*_*.txt