* times.cpp (randomify_symbol_serials): New.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sun, 12 Oct 2003 14:18:49 +0000 (14:18 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sun, 12 Oct 2003 14:18:49 +0000 (14:18 +0000)
commit20e3b69938ba04116a09e98baa8d9fbe18c382f5
tree6db1d7842731557ce65a6ceac9db7ae3dd4cfb1e
parente188dbbefe5be6a6e79980e0edcbe000bd662244
* times.cpp (randomify_symbol_serials): New.
check/times.cpp