log

age author description
Mon, 01 Jun 2015 00:44:38 +0200 Thomas Wuerthinger Merge.
Sun, 31 May 2015 23:58:09 +0200 Thomas Wuerthinger Merge.
Sun, 31 May 2015 23:57:57 +0200 Thomas Wuerthinger Enable inlining during parsing by default.