PlutonicOverkill f30d1a3075 Revert everything		2017-05-08 17:24:28 +12:00
..
doc	Replace "Female" check box with a combo box, part 1/2 (fixes #3756)	2017-02-17 17:05:46 +01:00
filter	Fix shadowing warnings	2016-10-16 01:34:54 +09:00
prefs	Revert everything	2017-05-08 17:24:28 +12:00
render	Remove unused code	2017-04-06 19:56:18 -04:00
tools	Verification results are ordered by Type in alphabetical order.	2017-02-21 11:15:53 +01:00
widget
world	Make name highlighting more consistent and only for variable names	2017-05-02 17:28:42 +12:00