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

Cross-module renaming #397

Merged
merged 117 commits into from
Sep 5, 2024
Merged

Conversation

toinehartman
Copy link
Contributor

No description provided.

@toinehartman toinehartman force-pushed the feature/rename-refactoring/cross-module branch 3 times, most recently from c51164d to d2ec289 Compare July 2, 2024 15:32
@toinehartman toinehartman force-pushed the feature/rename-refactoring/cross-module branch from 2bcf7ae to 6b1b44e Compare July 8, 2024 14:17
toinehartman and others added 25 commits August 26, 2024 13:12
…adt-keyword-fields

Rename refactoring: keyword fields
Copy link

sonarcloud bot commented Sep 5, 2024

@DavyLandman DavyLandman merged commit d8aae33 into main Sep 5, 2024
12 checks passed
@DavyLandman
Copy link
Member

Thanks everyone involved for the hard work of writing and reviewing this big feature. Up to the next: grammars :)

@toinehartman toinehartman deleted the feature/rename-refactoring/cross-module branch September 5, 2024 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Offer rename refactoring of Rascal identifiers
3 participants