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 | |
| parent | 27474dfff59e40e1abf33e0b5dfe7a16dc73f4b1 (diff) | |
rename st_trace -> st-trace-schedule
Let's use consistent tool names...
| -rwxr-xr-x | st-trace-schedule (renamed from st_trace) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/st_trace b/st-trace-schedule index 680772e..680772e 100755 --- a/st_trace +++ b/st-trace-schedule | |||