Thibault Deckers c07dc36d26 #1216 settings: hidden path filters are merged with others and can be toggled		2024-10-03 23:00:19 +02:00
..
delegate.dart	#1102 accessibility: enable/disable more animations	2024-07-27 21:20:35 +02:00
page.dart	#1216 settings: hidden path filters are merged with others and can be toggled	2024-10-03 23:00:19 +02:00
route.dart	#1216 settings: hidden path filters are merged with others and can be toggled	2024-10-03 23:00:19 +02:00