Skip to content

Modified rotl lab to follow new Makefile format#219

Merged
weaversa merged 1 commit intomasterfrom
relative-proofs
Jun 27, 2022
Merged

Modified rotl lab to follow new Makefile format#219
weaversa merged 1 commit intomasterfrom
relative-proofs

Conversation

@djmorel
Copy link
Collaborator

@djmorel djmorel commented Jun 26, 2022

Features

@djmorel djmorel added the enhancement New feature or request label Jun 26, 2022
@djmorel djmorel requested review from WeeknightMVP and weaversa June 26, 2022 22:32
@weaversa weaversa merged commit 312452d into master Jun 27, 2022
@weaversa weaversa deleted the relative-proofs branch June 27, 2022 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants