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: Jun 03 2023 at 18:01 UTC