From dbbe11da0a34026a1d9aad4d6c31bdba72ff99ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Sun, 12 Dec 2021 13:28:52 +0100 Subject: [PATCH] chore: In file licensing --- DocGen4/Hierarchy.lean | 5 +++++ DocGen4/IncludeStr.lean | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/DocGen4/Hierarchy.lean b/DocGen4/Hierarchy.lean index d023e85..034a290 100644 --- a/DocGen4/Hierarchy.lean +++ b/DocGen4/Hierarchy.lean @@ -1,3 +1,8 @@ +/- +Copyright (c) 2021 Henrik Böving. All rights reserved. +Released under Apache 2.0 license as described in the file LICENSE. +Authors: Henrik Böving +-/ import Lean import Std.Data.HashMap diff --git a/DocGen4/IncludeStr.lean b/DocGen4/IncludeStr.lean index 335365a..6946ab5 100644 --- a/DocGen4/IncludeStr.lean +++ b/DocGen4/IncludeStr.lean @@ -1,3 +1,8 @@ +/- +Copyright (c) 2021 Henrik Böving. All rights reserved. +Released under Apache 2.0 license as described in the file LICENSE. +Authors: Henrik Böving +-/ import Lean namespace DocGen4