.. |
git-terminal.md
|
30c8d98ee9
docs overhaul: expand git-terminal.md a bit
|
7 years ago |
maintainers-guide.md
|
9a7a4503d6
maintainers-guide.md: Suggest to use rebase rather than merge (#1887)
|
7 years ago |
style-guide.md
|
f8c7dfc0c7
docs overhaul: move auxiliary documentation to a separate folder
|
7 years ago |