add a utility function to print a message to stderr and then quit
authorRalf Jung <post@ralfj.de>
Fri, 27 Sep 2013 11:02:59 +0000 (13:02 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 27 Sep 2013 11:02:59 +0000 (13:02 +0200)

No differences found