Waldir Pimenta 4d970ea319 add a maintainer's guide

2017-12-27 01:07: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

add a maintainer's guide

2017-12-27 01:07:04 +00:00

style-guide.md

docs overhaul: move auxiliary documentation to a separate folder

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