Merge branch '7.2'

sebastianbergmann · Jun 25, 2018 · 11d92ae · 11d92ae
2 parents 2e9ab30 + d96549d
commit 11d92ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,7 @@
 /.idea
 /.php_cs
 /.php_cs.cache
+/.phpunit.result.cache
 /build/documentation
 /build/logfiles
 /build/phar
@@ -17,4 +18,3 @@
 /tests/TextUI/*.out
 /tests/TextUI/*.php
 /vendor
-/.phpunit.result.cache