simtrace: Rename main

This commit is contained in:
Christina Quast
2015-04-07 19:43:18 +02:00
parent 2279b75c26
commit fbcd8a1bfd