Include readmo-v1.0.0 (!10) · Merge requests · Max Ole Elliger / Template Coq-Project

Max Ole Elliger requested to merge include/readmo/v1.0.0 into main Dec 27, 2023

I want to include readmo-v1.0.0, but I'm not sure, if such a git history is a good style...

Include readmo-v1.0.0