log

age author description
Tue, 18 Jun 2013 11:01:32 +0200 Christian Haeubl Merge.
Tue, 18 Jun 2013 10:43:00 +0200 Christian Haeubl Bugfix for compilation queue.
Tue, 18 Jun 2013 09:32:09 +0200 Bernhard Urban Value/Register: replace object identity check with equals()