log

age author description
Thu, 25 Apr 2013 22:20:47 +0200 Thomas Wuerthinger Fix branch probability injection.
Thu, 25 Apr 2013 21:34:00 +0200 Thomas Wuerthinger Change the way branch probabilities are injected. Update all snippets.
Thu, 25 Apr 2013 20:10:49 +0200 Thomas Wuerthinger Merge.