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.

Sign up for GitHub

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

Jump to bottom

redundant flag name check #13

Open
ffaf1 opened this issue Jun 28, 2022 · 4 comments
Open

redundant flag name check #13

ffaf1 opened this issue Jun 28, 2022 · 4 comments

Comments

@ffaf1
Copy link
Owner

ffaf1 commented Jun 28, 2022 

flag -invalid

is already checked by the parser
@ffaf1
Copy link
Owner Author

ffaf1 commented Jun 28, 2022

Same for non ascii chars

@ffaf1
Copy link
Owner Author

ffaf1 commented Aug 15, 2022

@andreasabel a quick update in your email (tl;dr: my machine died, but that is not much of a big problem)

@ffaf1
Copy link
Owner Author

ffaf1 commented Aug 29, 2022

@andreasabel a GSoC request in your email

@ffaf1
Copy link
Owner Author

ffaf1 commented Aug 31, 2022

@andreasabel , did my email arrive? Do you need more infos?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ffaf1