diff etc/TUTORIAL @ 4405:935cc145f0b5

(pick-random): Remove. All callers changed to use `random' instead.
author Paul Eggert <eggert@twinsun.com>
date Sun, 01 Aug 1993 20:50:07 +0000
parents 2173e8c3723b
children e76136b468b3
line wrap: on
line diff