Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clean up after spontanious review by "pjljvandelaar". #18

Open
wants to merge 7 commits into
base: develop
Choose a base branch
from

Conversation

persan
Copy link
Contributor

@persan persan commented Jan 20, 2022

There where some compiler warnings as well.

@flyx
Copy link
Collaborator

flyx commented Jan 20, 2022

I don't fancy all the style changes, but I assume that's some auto-formatting by GPS…? If so, well if I don't merge it now I'd probably get it again in the next PR.

What's all the .py stuff though? New IDE feature? I would okay with it if it does something, but it doesn't seem to contain any helpful information. (Sadly I'm a bit disconnected from any Ada development environment currently because there's none available for aarch64-darwin.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants