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