Merge branch 'master' into 'master'

Version information and coverage See merge request !29
2015-05-27 22:04:49 +02:00 · 2015-05-27 22:04:49 +02:00 · 3824c25555
parent 94015bb664 4dce5516bb
commit 3824c25555
2 changed files with 1 additions and 1 deletions
--- a/1
+++ b/1
@ -0,0 +1 @@
+1.0.0pre
--- a/build.xml
+++ b/build.xml
@ -15,7 +15,6 @@
            <arg line="--configuration phpunit.xml
                       --log-junit build/logs/phpunit.xml
                       --coverage-clover build/logs/clover.xml
-                       --coverage-text=coverage.txt
                       --coverage-html build/clover" />
        </exec>
    </target>