tree 5f342480dad0bdb34a6896374104bbb695807c6c
parent 2884ba372090696e5c66788dd826c5f50154c8d0
author Gilles Peskine <Gilles.Peskine@arm.com> 1570105246 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1570180324 +0200

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 '#'.