]> git.tue.mpg.de Git - paraslash.git/commitdiff
Merge branch 'no_colon_separators'
authorAndre <maan@p133.(none)>
Sat, 25 Feb 2006 09:16:22 +0000 (10:16 +0100)
committerAndre <maan@p133.(none)>
Sat, 25 Feb 2006 09:16:22 +0000 (10:16 +0100)

Trivial merge