From 0a618f77cd6d9dca248877e7f51409e8c420891a Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 12 Sep 2022 13:34:33 +0200 Subject: -add missing license headers --- bootstrap | 1 + 1 file changed, 1 insertion(+) (limited to 'bootstrap') diff --git a/bootstrap b/bootstrap index 65b71c7d8..67e246838 100755 --- a/bootstrap +++ b/bootstrap @@ -1,4 +1,5 @@ #!/bin/sh +# This file is in the public domain. set -eu -- cgit v1.2.3