3 Commits

Author	SHA1	Message	Date
Morgan Hardwood	ec369e007b	Updated benchmarkRT to work with any locale, and some cosmetic changes. See PR #3947	2017-07-04 13:13:46 +02:00
Morgan Hardwood	3fb5c7d39e	Updated tools/benchmarkRT tool	2017-07-03 00:30:58 +02:00
torger	d5ca351c20	Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)	2015-07-10 12:00:36 +02:00