Skip to content
This repository has been archived by the owner on Mar 19, 2024. It is now read-only.

run code cleanup #186

Closed
wants to merge 1 commit into from
Closed

run code cleanup #186

wants to merge 1 commit into from

Conversation

theScrabi
Copy link
Contributor

@hannesa2 hannesa2 mentioned this pull request Dec 14, 2018
@hannesa2 hannesa2 mentioned this pull request Feb 14, 2019
@hannesa2
Copy link
Contributor

Same/similar is done in #235 without conflicts
That's why this PR makes no sense anymore

@hannesa2 hannesa2 closed this Mar 15, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants