Index: src/tests/.gitignore
===================================================================
--- src/tests/.gitignore	(revision 4e9151ff076f6501d1de51d75d927d16988d1197)
+++ src/tests/.gitignore	(revision 0bcc2b72f5a3e94a3801264eec1b2ad84ce633d6)
@@ -1,2 +1,3 @@
 .out/
 .err/
+.type