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

Merge branch '45-remove-restart-undo-warnings' into 'main' 

Resolve "Remove "Restart"/"Undo"-Warnings"

Closes #45

See merge request oc59yqul/coq-exercises!37
parents f0067b3f bba10620
No related branches found
No related tags found
1 merge request!37Resolve "Remove "Restart"/"Undo"-Warnings"
Pipeline #134351 passed
Stage: build