Merge branch 'develop'

spinen · Apr 21, 2020 · e8c1e52 · e8c1e52
2 parents d7b7566 + 45f8795
commit e8c1e52
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/phpunit.xml.dist b/phpunit.xml.dist
@@ -48,7 +48,6 @@
              showOnlySummary="true"
              showUncoveredFiles="false"/>
         <log type="coverage-clover" target="build/phpunit/logs/clover.xml"/>
-        <log type="plain" target="./build/phpunit/logs/logfile.log"/>
         <log type="junit" target="./build/phpunit/logs/junit.xml"/>
     </logging>
 </phpunit>