aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPierre Courtieu2002-07-26 19:28:30 +0000
committerPierre Courtieu2002-07-26 19:28:30 +0000
commit819d64f05308713f1e3a46b8d7b3baa74c896f43 (patch)
tree34bbc3996c71c46053de1724088a3d1cdb702c4e /doc
parentc05622f346e7a83c55bd99263b3110914ad91bcc (diff)
Changed once again the backtrack mechanism, it corresponds to what we
agreed for some time ago. I am ok for a 3.4 now.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions