2 Commits

Author	SHA1	Message	Date
Morgan Hardwood	8f0de49d41	Whitespace cleanup ... Cleans up whitespace (tab -> space), alignment and DOS line endings.	2019-10-03 11:43:12 +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