diff options
| author |  Mark Griffiths <mark@thebespokepixel.com> | 2014-08-19 13:41:23 +0100 |
|---|---|---|
| committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-09-03 14:43:26 +0100 |
| commit | 137abd0cfaa8959224f88a4ebe9584a51468cc88 (patch) | |
| tree | c396f760a1e309b5a837359e65c57c4555534d49 /doc_src/random.txt | |
| parent | d7308fecbe573aad91fc6f1377c1ed2df735f6fd (diff) | |
Make line length, wrapping and spacing consistent
Diffstat (limited to 'doc_src/random.txt')
| -rw-r--r-- | doc_src/random.txt | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/doc_src/random.txt b/doc_src/random.txt index 3415daa6..5e50232a 100644 --- a/doc_src/random.txt +++ b/doc_src/random.txt @@ -9,11 +9,8 @@ random [SEED] `random` outputs a random number from 0 to 32766, inclusive. -If a `SEED` value is provided, it is used to seed the random number -generator, and no output will be produced. This can be useful for debugging -purposes, where it can be desirable to get the same random number sequence -multiple times. If the random number generator is called without first -seeding it, the current time will be used as the seed. +If a `SEED` value is provided, it is used to seed the random number generator, and no output will be produced. This can be useful for debugging purposes, where it can be desirable to get the same random number sequence multiple times. If the random number generator is called without first seeding it, the current time will be used as the seed. + \subsection random-example Example |