From aa0e773ad90171d0dd0ab54aaf4543e2c1a30cfc Mon Sep 17 00:00:00 2001 From: ng0 Date: Tue, 2 Apr 2019 05:24:10 +0000 Subject: [PATCH] license --- pre-commit | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pre-commit b/pre-commit index 46a7c2a4b..c67fcaf0c 100755 --- a/pre-commit +++ b/pre-commit @@ -2,6 +2,8 @@ # Run this script to indent the GNUnet code. When run without arguments, # it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the # src/XXX directory. +# +# This script is in the public domain. if test $# = 0 then PATHS=src/ -- 2.25.1