diff =PROBLEMS @ 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 507f64624555
children
line wrap: on
line diff