tree d842e9c62860a1b3b005c4b5cf4f67aaa1427ab6
parent fc12fdebfa9f60bfaf6e99a232dccb4c8cccf57a
author aherbert <aherbert@apache.org> 1568994819 +0100
committer aherbert <aherbert@apache.org> 1568994819 +0100

Added JumpableUniformRandomProvider to the user guide.