log

age author description
Mon, 24 Jun 2013 16:40:32 +0200 Andreas Woess Merge
Mon, 24 Jun 2013 12:57:44 +0200 Andreas Woess fix windows build directory
Mon, 24 Jun 2013 13:40:46 +0200 Roland Schatz New strategy for selecting the default runtime.