Morris Jobke 0eebff152a Update license headers 7 jaren geleden
..
PagedProvider.php 0eebff152a Update license headers 7 jaren geleden
Provider.php ba87db3fcc Fix others 8 jaren geleden
Result.php ba87db3fcc Fix others 8 jaren geleden