tree 0ee6d3ef3350ea73417995e53790f4afdaa6dadd
parent 3481800fbd7d1ec9d6947c8eb60f8e78521cd6e8
parent 5a8f0a3f74b33eff82ff6e5bbdc3b7a08b0f540b
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1553085377 +0000
committer GitHub <noreply@github.com> 1553085377 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJckjPBCRBK7hj4Ov3rIwAAdHIIAAliswYR35p3t+dViGADf8xk
 98ixtj1o6ONM1l2HhIMXqeQf4V1hmSKye4xntqgB7SL0nwxr1I6UTzOlrxhrEkNf
 Y2OCXmTozJOnIWNlIPz32IbyW/xveGst63EOaCKPuhi7FImgLWg9hKuvcapsaV/c
 FMW9SPRAhb4NQfW33sYp1chEtQtgyuBWwCR9FxKjdnsX5rCrK2DbZzgzG66oc/aM
 8+H2i7VySMQhi0wRbIMw6OUiufVIGmRUQ3GlpOPb6tSRnCms4Dnkr45NQMZEUNpZ
 Mw2z3xj5XsDOojqZlZwck98dhZdkmIWsByaB20WYRreUP+bX0E/H9F0cxNJuhPA=
 =Ze6Y
 -----END PGP SIGNATURE-----
 

Merge pull request #1899 from jts-arm/docs

Add USE_ROMLIB build option to user guide