develop #1
eyck
commented 2021-03-14 12:24:44 +01:00
Owner
No description provided.
eyck
added 4 commits 2021-03-14 12:24:45 +01:00
cleanup unneded cmake modules and conan packages
55e003c22b
rename submodule
38b309600a
cleanup of config files
75962954a1
update .gitignore
6e6b202d4e
eyck
merged commit d05afd0a57 into master 2021-03-14 12:24:50 +01:00
eyck
referenced this issue from a commit 2021-03-14 12:24:50 +01:00
Merge pull request 'develop' (#1) from develop into master
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "develop"
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?