]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Use whitespace instead of colons to separate receiver/filter args
authorAndre <maan@p133.(none)>
Fri, 24 Feb 2006 15:13:57 +0000 (16:13 +0100)
committerAndre <maan@p133.(none)>
Fri, 24 Feb 2006 15:13:57 +0000 (16:13 +0100)
This is much nicer but the receiver/filter argument must now be quoted if any
options are present.


No differences found