Skip to content
Snippets Groups Projects
Commit 7ab703cb authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

Merge branch 'explicit-licensing' into 'main' 

Added licensing-information in every file

See merge request template-coq!14
parents 80152cef ef8098f1
Branches
Tags comoproj-v2.6.2
1 merge request!40Include/comoproj v2.6.2
Pipeline #135264 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment