r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: copyright header

main
Henrik Böving 2022-05-19 21:56:43 +02:00
parent 12fe918b2d
commit 8e70777059
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
DocGen4/Output/SourceLinker.lean
View File

@ -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 Lean
import Lake import Lake