diff options
Diffstat (limited to '')
| -rwxr-xr-x | util/make-mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/make-mask b/util/make-mask index 1285f52..81e57a5 100755 --- a/util/make-mask +++ b/util/make-mask @@ -1,4 +1,5 @@ #!/bin/sh +# See LICENSE file for copyright and license details. set -e |