2 Commits

Author SHA1 Message Date
Philip Rinn
3b9b484ec1 Fix CMake and AboutThisBuild with git (see issue #2860)
Tools to generate the release info are not updated jet, namely
tools/generateReleaseInfo{.bat}.
Only tested on Linux, OS X and Windows are untested.
2015-08-14 19:06:01 +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