add Makefile for easier builds #3
adoralaura
commented 2024-07-30 08:53:01 +02:00
Owner
No description provided.
adoralaura
added 3 commits 2024-07-30 08:53:01 +02:00
add makefile
05a536a17d
update CI
b8ec72877d
bump version to 0.2.2
6f20779714
adoralaura
merged commit 20cbb33778 into main 2024-07-30 08:53:09 +02:00
adoralaura
referenced this pull request from a commit 2024-07-30 08:53:10 +02:00
Merge pull request 'add Makefile for easier builds' (#3) from feature-makefile into main
adoralaura
deleted branch feature-makefile 2024-07-30 08:53:16 +02:00
Loading…
Reference in a new issue
No description provided.
Delete branch "feature-makefile"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?