Rev 12145 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
cat("Time used {gctorture()}:", proc.time() - .ptime, "\n")