chore: update and prune embedded GeoGebra #41
glen
commented 2023-10-08 22:14:50 +00:00
Owner
No description provided.
glen
added 1 commit 2023-10-08 22:14:51 +00:00
chore: update and prune embedded GeoGebra
2d692bbff5
glen
merged commit fff75f67e3 into main 2023-10-08 22:15:18 +00:00
glen
deleted branch prune_extension 2023-10-08 22:15:18 +00:00
glen
referenced this issue from a commit 2023-10-08 22:15:18 +00:00
chore: update and prune embedded GeoGebra (#41)
No reviewers
Labels
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: glen/archematics#41
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "prune_extension"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?