diff options
-rwxr-xr-x | ACE/bin/cltime.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ACE/bin/cltime.pl b/ACE/bin/cltime.pl index d28eea7b9dc..a962a20912a 100755 --- a/ACE/bin/cltime.pl +++ b/ACE/bin/cltime.pl @@ -1,3 +1,4 @@ +# $Id$ use strict; my($name) = shift; |