diff options
Diffstat (limited to 'schedsim/shell/run_scenarios')
-rwxr-xr-x | schedsim/shell/run_scenarios | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/schedsim/shell/run_scenarios b/schedsim/shell/run_scenarios index fcd3a36..76f9e69 100755 --- a/schedsim/shell/run_scenarios +++ b/schedsim/shell/run_scenarios @@ -1,7 +1,5 @@ #! /bin/sh # -# $Id$ -# fatal() { |