Skip to content

Redo var names#259

Merged
leerho merged 1 commit intomainfrom
Redo_var_names
Feb 4, 2025
Merged

Redo var names#259
leerho merged 1 commit intomainfrom
Redo_var_names

Conversation

@leerho
Copy link
Member

@leerho leerho commented Feb 4, 2025

No description provided.

@leerho leerho requested a review from jmalkin February 4, 2025 01:20
Copy link
Contributor

@jmalkin jmalkin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Personally, I find this much, much easier to read for code that I don't already know well

@leerho leerho merged commit 1b9e702 into main Feb 4, 2025
4 checks passed
@leerho leerho deleted the Redo_var_names branch February 4, 2025 01:36
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

Comments