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