------------------------------------------------------------------------
r122 | mercade | 2005-08-09 17:46:39 +0200 (Tue, 09 Aug 2005) | 2 lines

Updated documentation.

------------------------------------------------------------------------
U       /doc/man/efun/random
