fix docu: section name changed

This commit is contained in:
Christian Grothoff 2019-04-10 20:53:33 +02:00
parent 66425084c1
commit a73e1dd419
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -663,7 +663,7 @@ the two primes) have for this type of coin.
Both @cite{signkeys} and @cite{denom keys} have a starting date. The
option @cite{lookahead_provide}, under section @cite{[exchange_keys]},
option @cite{lookahead_provide}, under section @cite{[exchange]},
is such that only keys whose starting date is younger than
@cite{lookahead_provide} will be issued by the exchange.