tree ae1d5f04f347bc138a25a9d73b68788eb8743220
parent 1da55d743eadcaab20d8ca9492b3bc33f4dc0760
author margaretha <margaretha@ids-mannheim.de> 1770894482 +0100
committer margaretha <margaretha@ids-mannheim.de> 1770894544 +0100

Add a wrapper for generating external thread-dump files.

Change-Id: I2a2262a341ce6e981b713dc88b4aa4c1e0f1970e