Fork: 0

tdm / web-dumps

Use makefile #1

Merged thouveni merged 4 commits into tdm:master from tdm:use-makefile on 19 Oct 2022

thouveni commented on 19 Oct 2022

No description provided.

thouveni referenced the pull request on 19 Oct 2022

Use makefile

thouveni merged commit e7a38ee into master from use-makefile on 19 Oct 2022

thouveni closed this pull request on 19 Oct 2022

Labels

None yet

Priority

default

Milestone

No milestone

Assignee

No one

1 participant