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

Misc cleanups #2091

Merged
merged 2 commits into from
Aug 24, 2023
Merged

Misc cleanups #2091

merged 2 commits into from
Aug 24, 2023

Conversation

nvx
Copy link
Contributor

@nvx nvx commented Aug 24, 2023

Cleanups as mentioned in the feedback of PR #2088, as well as a couple of other magic number replacements that I noticed while I was doing it. I also ran "make style" across the codebase, looks like a few other recent PRs hadn't had this done.

better help text, and some added comments
@github-actions
Copy link

You are welcome to add an entry to the CHANGELOG.md as well

@iceman1001 iceman1001 merged commit 5a56504 into RfidResearchGroup:master Aug 24, 2023
7 checks passed
@iceman1001
Copy link
Collaborator

Perfect!

@nvx nvx deleted the misc_cleanups branch August 24, 2023 06:40
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