Adrien Destugues 9d51367f16 Improve "sourcecode" page of docs/develop/ a bit ...

Prepare for adding section about getting the sources and submitting
patches (to be converted from the existing docs on the website)

2023-01-20 13:01:19 +01:00

..

add-ons

…

apps

…

develop

Improve "sourcecode" page of docs/develop/ a bit

2023-01-20 13:01:19 +01:00

interface_guidelines

…

misc

…

user

documentation: add a list of "media" keycodes to keyboard documentation.

2022-12-23 16:55:17 +00:00