Commit Graph

53 Commits

Author SHA1 Message Date
28dafb0ab3 BoolTools: Undo formatting and version bump in previous commit 2016-08-01 14:55:40 +04:00
b7f883ed69 BoolTools: Add preference to choose boolean solver
Add preference to choose boolean solver.
Also refactor preferences UI so humans could actually read it.
2016-08-01 14:03:01 +04:00
1833798d7d Add object_boolean_tools.py to release. re: T48309 2016-07-31 19:17:19 +10:00