Fix linter issues and add CI badge
#22
Merged
otthorn
merged 12 commits from fix_linter_issues
into master
3 years ago
Loading…
Reference in New Issue
There is no content yet.
Delete Branch 'fix_linter_issues'
Deleting a branch is permanent. It CANNOT be undone. Continue?
bb026921e1
into master 3 years agobb026921e1
.