rubenwardy b1786e88ac Use .md extension for markdown files ... Linking to line numbers is brittle, linking to sections/headings is better. If you still want to link to a line number, you can append ?plain=1 to GitHub's URL		2023-04-16 20:23:53 +01:00
..
docs	Add Mkdocs API site (#8133)	2019-04-12 14:29:29 +02:00
build.sh	Use .md extension for markdown files	2023-04-16 20:23:53 +01:00
lua_highlight.patch	Update API site build (#9622)	2020-04-11 20:38:39 +02:00
requirements.txt	Cut back on Gitlab-ci & misc pipeline updates	2022-08-15 10:47:47 +02:00