Skip to content

Removed travis (no longer free) and lgtm (migrated to Github)#612

Merged
annejan merged 1 commit intomainfrom remove-travisJan 31, 2023
-87

Commits

Commits on Jan 31, 2023