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

Merge branch 'more-use-of-generated-makefile' into 'main' 

More use of generated makefile

See merge request oc59yqul/template_coq!4
parents d493025d 253f04aa
No related branches found
Tags druck2
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment