Tagged Check-ins

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Check-ins with non-propagating tags:

2013-05-04
07:01 [f3962e9bc7] Changed version to 0.13.1 Updated changelog (user: m, tags: trunk, Release 0.13.1)
2013-05-03
17:23 [0a094a4a5e] Minor refactoring to make test() simpler Release preparations Cleanup of newlines (user: m, tags: trunk, Release 0.13)