From 37e94bd191701a08e0081b2027cfbede6d76a21c Mon Sep 17 00:00:00 2001 From: Stefano Brivio Date: Sun, 4 Jun 2023 08:13:23 +0200 Subject: treewide: Change to GPLv2, add LICENSES, missing headers As discussed with Alice -- 'reuse lint' passes now. Signed-off-by: Stefano Brivio --- seitan-run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'seitan-run') diff --git a/seitan-run b/seitan-run index 5c0e18f..d22eee2 100755 --- a/seitan-run +++ b/seitan-run @@ -1,6 +1,6 @@ #!/bin/sh -ex # -# SPDX-License-Identifier: AGPL-3.0-or-later +# SPDX-License-Identifier: GPL-2.0-or-later # # seitan - Syscall Expressive Interpreter, Transformer and Notifier # -- cgit v1.2.3