summaryrefslogtreecommitdiff
path: root/lib/lineartree
diff options
context:
space:
mode:
authorBirte Kristina Friesel <birte.friesel@uos.de>2024-01-17 09:10:22 +0100
committerBirte Kristina Friesel <birte.friesel@uos.de>2024-01-17 09:10:22 +0100
commitd95d873995f6ea29d38ca7e26e440d9c8b0a0348 (patch)
tree04c5a511eab25f1fb23d31c08a63136a6c005ea2 /lib/lineartree
parent1851e43ed746af8068e8655934cc8d0ed4b1a914 (diff)
Disable DFATOOL_DTREE_IGNORE_IRRELEVANT_PARAMS by default
It is not working properly in 95% of cases
Diffstat (limited to 'lib/lineartree')
0 files changed, 0 insertions, 0 deletions