Skip to content
This repository has been archived by the owner on Feb 18, 2023. It is now read-only.

Apply fixes from StyleCI #103

Merged
merged 1 commit into from
Aug 5, 2022
Merged

Apply fixes from StyleCI #103

merged 1 commit into from
Aug 5, 2022

Conversation

joselfonseca
Copy link
Owner

This pull request applies code style fixes from an analysis carried out by StyleCI.


For more information, click here.

@joselfonseca joselfonseca merged commit 2737b24 into develop Aug 5, 2022
@joselfonseca joselfonseca deleted the analysis-JGDerk branch August 5, 2022 18:26
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