Waldir Pimenta 4a8157a600 maintainers-guide.md: add introductory note

2018-01-19 09:39:04 +00:00

..

git-terminal.md

docs overhaul: expand git-terminal.md a bit

2017-11-28 09:01:47 +05:30

maintainers-guide.md

maintainers-guide.md: add introductory note

2018-01-19 09:39:04 +00:00

style-guide.md

docs overhaul: move auxiliary documentation to a separate folder

2017-11-28 09:01:47 +05:30