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