Merge pull request #1899 from jts-arm/docs
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 20 Mar 2019 12:36:17 +0000 (12:36 +0000)
committerGitHub <noreply@github.com>
Wed, 20 Mar 2019 12:36:17 +0000 (12:36 +0000)
Add USE_ROMLIB build option to user guide

1  2 
docs/user-guide.rst

Simple merge