append [exit] after end of output
authorMatthias Kramm <kramm@quiss.org>
Mon, 2 Feb 2009 13:54:16 +0000 (14:54 +0100)
committerMatthias Kramm <kramm@quiss.org>
Mon, 2 Feb 2009 13:54:16 +0000 (14:54 +0100)

No differences found