Stream: coq-community devs & users

Topic: License for website repo


view this post on Zulip Karl Palmskog (Nov 29 2021 at 20:19):

ironically, I didn't think of adding a license to the website repo until now. Do we use CC-0 like the manifesto @Théo Zimmermann?

view this post on Zulip Théo Zimmermann (Nov 29 2021 at 20:22):

Sounds good to me!

view this post on Zulip Karl Palmskog (Nov 29 2021 at 20:25):

OK, done


Last updated: Mar 28 2024 at 08:01 UTC