commit | 0b80625e35cf528c87225c282f160811d701ce57 | [log] [tgz] |
---|---|---|
author | Matthias Tichy <eclipse@tichy.de> | Fri Jul 17 17:15:11 2020 +0200 |
committer | Matthias Tichy <eclipse@tichy.de> | Fri Jul 17 17:15:11 2020 +0200 |
tree | 24d6b02785f10c67baac904128ef8ee7b2c648ec | |
parent | 2efc0082df19d7e013d9e65a568125ecdeb4edc7 [diff] |
support for profiling the Henshin matching process Change-Id: Ife23b99ba07d6e37b2786ef9295c9a3e4915f739