jb-alvarado 1d4cdfaca6 change ownership according to the parent folder		2024-09-25 14:25:44 +02:00
..
extensions.json	merge frontend repo/dev settings, update folder names	2024-09-24 11:23:57 +02:00
settings.json	change ownership according to the parent folder	2024-09-25 14:25:44 +02:00