diff options
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/create-linux-syscall | 1 | ||||
-rwxr-xr-x | devtools/find-type-definition | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/devtools/create-linux-syscall b/devtools/create-linux-syscall index 0b8e800..2a51543 100755 --- a/devtools/create-linux-syscall +++ b/devtools/create-linux-syscall @@ -1,4 +1,5 @@ #!/usr/bin/env python3 +# See LICENSE file for copyright and license details. import sys diff --git a/devtools/find-type-definition b/devtools/find-type-definition index 26e19f2..9523e7c 100755 --- a/devtools/find-type-definition +++ b/devtools/find-type-definition @@ -1,4 +1,5 @@ #!/bin/sh +# See LICENSE file for copyright and license details. type="$1" shift 1 |