tree fa1ee1fcaa19b4619f86ad8431991766e6527d19
parent 01cbaa6125344733148615c1664be83d24097136
author Cédric de Launois <delaunois@info.ucl.ac.be> 1059132956 +0000
committer Martin Josefsson <gandalf@wlug.westbo.se> 1059132956 +0000

Updated version with new option to continue rule-traversal (Cedric de Launois)