Merge pull request #1036 from jeenu-arm/fix-ordering
Fix alphabetic ordering
commit 2252c67da6f986a4cf6619f8d07bc264f9247a9a
2 parents c1a1d54 + c1232c3
@davidcunado-arm davidcunado-arm authored on 31 Jul 2017
GitHub committed on 31 Jul 2017
Showing 2 changed files
View
Makefile
View
docs/user-guide.rst