refactor: use makefile #2

Merged thouveni merged 2 commits into tdm:master from tdm:refactoring-corhal on 23 Nov 2022

thouveni commented on 23 Nov 2022

No description provided.

thouveni referenced the pull request on 23 Nov 2022

refactor: use makefile

thouveni merged commit d1674b5 into master from refactoring-corhal on 23 Nov 2022

thouveni closed this pull request on 23 Nov 2022

thouveni deleted the refactoring-corhal branch on 23 Nov 2022

Labels

Priority

default

Milestone

No milestone

Assignee

No one

1 participant