.. |
development
|
f7e8509a17
Improve sidebar navigation by removing headers
|
4 månader sedan |
documentation
|
e7fdb120c7
Fix dead links in the documentation
|
7 månader sedan |
workflow
|
71db8932bc
Harmonize Bash command syntax for easier line selection and copy-pasting
|
4 månader sedan |
how_to_contribute.rst
|
b7be0b374c
Update Discord, refer to website for communities
|
4 månader sedan |