diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/tests/tools/generic/sorttimes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c/src/tests/tools/generic/sorttimes b/c/src/tests/tools/generic/sorttimes index 161f5e30b0..e52bf25936 100644 --- a/c/src/tests/tools/generic/sorttimes +++ b/c/src/tests/tools/generic/sorttimes @@ -4,6 +4,8 @@ # it, and adds headers so it is in the same order as is printed in # the supplement. # +# $Id$ +# usage() { |