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

Jump to bottom

Remove ability to fix variable names (v1) #285

Merged

freekmurze merged 1 commit into v1 from remove-ability-to-fix-var-names-v1

Jul 13, 2020

Collaborator

freekmurze commented Jul 13, 2020

Closes #282

wip

0ff43ec

freekmurze changed the title ~~wip~~ Remove ability to fix variable names (v1)

freekmurze merged commit c606a03 into v1

Collaborator Author

freekmurze commented Jul 13, 2020

Thanks!

freekmurze deleted the remove-ability-to-fix-var-names-v1 branch

July 13, 2020 14:40

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment