Skip to content

Enable selection of conflict searcher in preferences

For HS-Tree and HS-DAG only. Possible Conflictsearcher: QuickXPlain, MergeXPlain, ...