Add a --shorten-thread-ids option to replace the thread id with a decimal number.
authorFabian Keil <fk@fabiankeil.de>
Thu, 22 Jul 2010 14:51:19 +0000 (14:51 +0000)
committerFabian Keil <fk@fabiankeil.de>
Thu, 22 Jul 2010 14:51:19 +0000 (14:51 +0000)

No differences found