tree 5f9cfed85e0075480ee43053241df67b2359fbc5
parent 9640403fa04c5fcb669f65e76c8ccc6d546fc4b2
author Gilles Peskine <Gilles.Peskine@arm.com> 1570105246 +0200
committer Simon Butcher <simon.butcher@arm.com> 1584112934 +0000

CTR_DRBG: more consistent formatting and wording

In particular, don't use #MBEDTLS_xxx on macros that are undefined in
some configurations, since this would be typeset with a literal '#'.