julia
Revert "clean up identifiers defined in `Main` (#51411)"
#51825
Merged
Overview
Commits
2
Changes
View On GitHub

Revert "clean up identifiers defined in `Main` (#51411)" #51825

KristofferC merged 2 commits into master from revert-51411-jb/mainnames
simeonschaub
simeonschaub Revert "clean up identifiers defined in `Main` (#51411)"
ba70bce5
giordano
simeonschaub simeonschaub added don't squash
simeonschaub add tests for #51823 and redefining `ans`/`err`
ced77837
simeonschaub simeonschaub force pushed from 91d9c5f9 to ced77837 2 years ago
KristofferC KristofferC merged 9352d9eb into master 2 years ago
KristofferC KristofferC deleted the revert-51411-jb/mainnames branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
don't squash
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum