Fix linter issues and add CI badge #22
Owner
No description provided.
otthorn
added 12 commits 2021-02-16 18:23:00 +01:00
Merge pull request 'Fix linter issues and add CI badge' (#22) from fix_linter_issues into master
Loading…
Reference in a new issue
No description provided.
Delete branch "fix_linter_issues"
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?