log

age author description
Thu, 20 Feb 2014 12:08:04 +0100 Roland Schatz Remove unused method.
Fri, 21 Feb 2014 02:30:03 +0100 Christian Humer Merge.
Fri, 21 Feb 2014 02:29:16 +0100 Christian Humer Truffle: further tweaks to the inlinig/split heuristic.