diff --git a/misc/make-stub-file b/misc/make-stub-file index 6d0e8fa7a5a05e44401c03e922b0679837f62c0a..12d5d535611547815077a5b502d8515a8f975b1e 100755 --- a/misc/make-stub-file +++ b/misc/make-stub-file @@ -1,4 +1,5 @@ #! /bin/sh +# $fiHeader$ header=$1 shift;