diff AUTHORS @ 8452:418b0017a8d2

-rnd --> -shuffle
author diego
date Sun, 15 Dec 2002 04:47:32 +0000
parents 70ef69b5c026
children 7088801c4887
line wrap: on
line diff