Skip to content
This repository has been archived by the owner on Nov 17, 2020. It is now read-only.

fix linting issues #30

Merged
merged 2 commits into from
Aug 24, 2020
Merged

fix linting issues #30

merged 2 commits into from
Aug 24, 2020

Conversation

schurzi
Copy link
Contributor

@schurzi schurzi commented Aug 24, 2020

Signed-off-by: Martin Schurz Martin.Schurz@t-systems.com

Signed-off-by: Martin Schurz <Martin.Schurz@t-systems.com>
@schurzi schurzi requested a review from rndmh3ro August 24, 2020 08:38
Signed-off-by: Martin Schurz <Martin.Schurz@t-systems.com>
@rndmh3ro rndmh3ro merged commit 3028b5d into master Aug 24, 2020
@rndmh3ro rndmh3ro deleted the lint branch August 24, 2020 08:45
@rndmh3ro rndmh3ro restored the lint branch August 24, 2020 08:46
@rndmh3ro rndmh3ro deleted the lint branch August 24, 2020 08:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants