comparison TOOLS/cpuinfo.c @ 8452:418b0017a8d2

-rnd --> -shuffle
author diego
date Sun, 15 Dec 2002 04:47:32 +0000
parents d7a83bb5fec9
children f5c4c9bb9451
comparison
equal deleted inserted replaced
8451:fb88ccbc5ccc 8452:418b0017a8d2