tree 0ee6d3ef3350ea73417995e53790f4afdaa6dadd
parent 2110c5d9ed75a60bfe4de980cc875836dd8056c0
parent 2e42b62c08773a5303207aeb94a26a3eb0836e46
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1553085377 +0000
committer GitHub <noreply@github.com> 1553085377 +0000

Merge pull request #1899 from jts-arm/docs

Add USE_ROMLIB build option to user guide