rubenwardy b1786e88ac Use .md extension for markdown files il y a 2 ans
..
docs bb7afd306a Add Mkdocs API site (#8133) il y a 5 ans
build.sh b1786e88ac Use .md extension for markdown files il y a 1 an
lua_highlight.patch 840b17ce63 Update API site build (#9622) il y a 4 ans
requirements.txt cae7ec1eb4 Cut back on Gitlab-ci & misc pipeline updates il y a 2 ans