Skip to content

add linter and add linting in ci#1

Merged
fadeev merged 2 commits intomasterfrom
marko/add_linting
Jun 24, 2020
Merged

add linter and add linting in ci#1
fadeev merged 2 commits intomasterfrom
marko/add_linting

Commits

Commits on Jun 24, 2020