eduartua 1ed4560355 Deleting stub file that is more than one year old		2019-01-18 16:17:16 -06:00
..
design-proposals	Merge pull request #2930 from joaocc/patch-1	2019-01-17 15:41:06 -08:00
devel	Deleting stub file that is more than one year old	2019-01-18 16:17:16 -06:00
guide	Merge pull request #3101 from eduartua/issue-3064-3	2019-01-15 20:52:58 -08:00