tree feeaa56f4fa996217fa8fce1ef6fea136c112ac5
parent e3d8cf1966d5da95a192839e8c06305675a0a22d
author Gilles Peskine <Gilles.Peskine@arm.com> 1570105246 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1570180885 +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 '#'.