Joas Schilling 0b883ab9d9 Catch exception when the parent is deleted as well 6 jaren geleden
..
Filter 0eebff152a Update license headers 7 jaren geleden
Settings 0eebff152a Update license headers 7 jaren geleden
FavoriteProvider.php 0eebff152a Update license headers 7 jaren geleden
Helper.php 0d940e581a Move the favorites filter to IFilter 8 jaren geleden
Provider.php 0b883ab9d9 Catch exception when the parent is deleted as well 6 jaren geleden