]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c389806 4025f39)
Merge pull request #5683 from owncloud/no-coverage-with-php-v53-master
authorThomas Müller <thomas.mueller@tmit.eu>
Mon, 4 Nov 2013 18:24:40 +0000 (10:24 -0800)
committerThomas Müller <thomas.mueller@tmit.eu>
Mon, 4 Nov 2013 18:24:40 +0000 (10:24 -0800)
adding environment variable to control coverage reporting


Trivial merge
Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server