diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-22 15:55:20 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-22 16:00:44 -0400 |
| commit | 37aea5e4e06d30267c01ae3d078be34fb07fcfd3 (patch) | |
| tree | 1be56f7d9a77791e94ffc894ce934ec0bc680536 /src | |
| parent | 27474dfff59e40e1abf33e0b5dfe7a16dc73f4b1 (diff) | |
rename st_trace -> st-trace-schedule
Let's use consistent tool names...
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions