3 Commits

Author	SHA1	Message	Date
Bruno Oliveira	f17dfa4292	Remove label descriptions from development guide ... The descriptions have been moved directly to GitHub's new label description slot.	2018-04-05 20:55:08 -03:00
Bruno Oliveira	810320f591	Small fixes to development_guide: title and label names ... * Fix title to use a proper "title" section marker * Fix labels by adding a " " after the ":" * Fix OS labels after obvious mishap * Sort labels	2017-09-14 19:58:56 -03:00
Bruno Oliveira	52c134aed3	Add development guide to docs	2017-09-13 19:32:40 -03:00