Merge branch 'master' into ftime-clock_gettime

vermaseren · Mar 30, 2018 · b47169d · b47169d
2 parents 993574f + e900894
commit b47169d
Show file tree

Hide file tree

Showing 110 changed files with 7,494 additions and 1,841 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,11 @@
 *.o
 *.exe
 
+*.gcno
+*.gcda
+*.gcov
+gmon.out
+
 .deps
 Makefile
 Makefile.in