develop #57
cromer
commented 2022-10-10 22:04:21 -03:00
Owner
No description provided.
cromer
added 2 commits 2022-10-10 22:04:22 -03:00
add pre-commit hook
364b9ac898
Merge pull request 'add pre-commit hook' (#56) from feature/clang-format into develop
17fe82323c
cromer
added 1 commit 2022-10-10 22:04:57 -03:00
Merge branch 'master' into develop
dd58fac7a7
cromer
merged commit 581d8e71cf into master 2022-10-10 22:05:26 -03:00
cromer
referenced this issue from a commit 2022-10-10 22:05:26 -03:00
Merge pull request 'develop' (#57) 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?