Jenkins for ownCloud b585d87d9d Update license headers vor 9 Jahren
..
pagedprovider.php b585d87d9d Update license headers vor 9 Jahren
provider.php b585d87d9d Update license headers vor 9 Jahren
result.php b585d87d9d Update license headers vor 9 Jahren