Mercurial > repo
view wisdom/qdbformat @ 369:b30df78e892e
<elliott> pastelogs proofgeneral
author | HackBot |
---|---|
date | Mon, 30 Apr 2012 23:15:13 +0000 |
parents | e037173e0012 |
children | c777e2d91031 |
line wrap: on
line source
qdbformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two