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

branch: augmented-arrows #51

Closed
pixelzoom opened this issue Feb 8, 2018 · 4 comments
Closed

branch: augmented-arrows #51

pixelzoom opened this issue Feb 8, 2018 · 4 comments
Assignees

Comments

@pixelzoom
Copy link
Contributor

Identified by print-branches.sh. Looks like lots of hands in this branch - @mbarlow12 @zepumph @jessegreenberg @jonathanolson one of you please describe.

@jessegreenberg
Copy link
Contributor

This branch was for #27, and has been merged into master and should be pruned.

@jessegreenberg
Copy link
Contributor

Deleted, closing.

@zepumph
Copy link
Member

zepumph commented Apr 20, 2021

Should be re-deleted as part of phetsims/special-ops#198

@zepumph zepumph reopened this Apr 20, 2021
@zepumph
Copy link
Member

zepumph commented Apr 23, 2021

Deleted

@zepumph zepumph closed this as completed Apr 23, 2021
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

No branches or pull requests

4 participants