repl: use different format as the lead-in to quotes in replies
authormarkus schnalke <meillo@marmaro.de>
Wed, 24 Sep 2014 07:58:55 +0000 (09:58 +0200)
committermarkus schnalke <meillo@marmaro.de>
Wed, 24 Sep 2014 07:58:55 +0000 (09:58 +0200)
This format is prefered because it does not include words and is
thus independent of the language of the user.


No differences found