Merge pull request #526 from antonio-nino-diaz-arm/an/missing_doc
authordanh-arm <dan.handley@arm.com>
Thu, 18 Feb 2016 18:33:59 +0000 (18:33 +0000)
committerdanh-arm <dan.handley@arm.com>
Thu, 18 Feb 2016 18:33:59 +0000 (18:33 +0000)
commit38363bb94bba3d6f271f4c5eb07bb3c080d44831
treebec2eb6641ebea22babcdc7abed3d10d5670b689
parentc4a8db95b12dd899669759b6516b10aaf675e183
parente472b50814f04283354dd1486fd5f8b996186994
Merge pull request #526 from antonio-nino-diaz-arm/an/missing_doc

Add missing build options to the User Guide
docs/user-guide.md