Commit Graph

2 Commits (59c894029b799e49a666e96e45be9728597d2cda)

Author SHA1 Message Date
orbiter 59c894029b removed confusing double set button in ConfigHeuristics
15 years ago
orbiter 11b7853940 added a configuration page for search heuristics. currently you can switch on there:
15 years ago