Pieter Vander Vennet c7ce8932f1 Scripts: remove no longer needed 'generate index'-file		2025-02-20 18:31:27 +01:00
..
workflows	Scripts: remove no longer needed 'generate index'-file	2025-02-20 18:31:27 +01:00
pull_request_template.md	Hosting: point issue tracker and bug tracker to source.mapcomplete.org	2025-01-28 15:38:46 +01:00