diff options
Diffstat (limited to 'ship/bin/punani')
| -rwxr-xr-x | ship/bin/punani | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ship/bin/punani b/ship/bin/punani index 99a5a813..28bf7d1a 100755 --- a/ship/bin/punani +++ b/ship/bin/punani @@ -1,3 +1,4 @@ #!/bin/sh +#@info #@include punani punani "$@" |