Thomas Dinges 64fc6d7890 Docs: Replace most wiki links with links to new developer docs ... Exceptions: * Links to personal wiki pages * Pages that are not in the new developer docs yet (like Human Interface Guidelines) * tools\check_wiki\check_wiki_file_structure.py needs a refactor		2024-01-18 16:49:38 +01:00
..
pull_request_template.md	Docs: Replace most wiki links with links to new developer docs	2024-01-18 16:49:38 +01:00
stale.yml	Docs: Replace most wiki links with links to new developer docs	2024-01-18 16:49:38 +01:00