crypto: Allow changing the symbol for randomness, e.g., to `$'.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 20 Oct 2006 21:48:48 +0000 (22:48 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 21 Oct 2006 09:33:35 +0000 (10:33 +0100)
commit34c694a8da0e3ff7e9c600789f3852d3b0457478
treebac8a86c211a5eeb1b9cc3a7764082aa1ae0055f
parentf6197ab531ece80f5b582fb30482b91d69aaab48
crypto: Allow changing the symbol for randomness, e.g., to `$'.
crypto.dtx