Agniva De Sarker 9a7a4503d6 maintainers-guide.md: Suggest to use rebase rather than merge (#1887) 7 years ago
..
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