22 Oct
2014
22 Oct
'14
11:26 p.m.
On 22 10 2014, at 21:36, Stefan Daschek stefan@daschek.net wrote:
No idea about how to represent deleted lines in this way, though :-/
Maybe something like this
