log

age author description
Tue, 10 Mar 2015 22:32:47 +0100 Thomas Wuerthinger Make sure new "economy" compiler configuration is not picked up as the default.
Tue, 10 Mar 2015 22:09:54 +0100 Thomas Wuerthinger Merge.
Tue, 10 Mar 2015 21:02:12 +0100 Thomas Wuerthinger Add compiler configuration "economy".