diff man/cl.texi @ 63525:da42b07587f1

(Timers): Timers should save and restore the match data if they change it.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 16 Jun 2005 20:14:24 +0000
parents 0129c2b09b4a
children c1cb0b064667 146c086df160
line wrap: on
line diff