From 8e7077705903711911149b8efb69d265c529941e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Thu, 19 May 2022 21:56:43 +0200
Subject: [PATCH] chore: copyright header

---
 DocGen4/Output/SourceLinker.lean | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/DocGen4/Output/SourceLinker.lean b/DocGen4/Output/SourceLinker.lean
index 3152dd0..68f2a13 100644
--- a/DocGen4/Output/SourceLinker.lean
+++ b/DocGen4/Output/SourceLinker.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2022 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 Lake