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.

Sign up for GitHub

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

Fix edges() of hyperbolic convex polygons with marked vertices #244

Merged
merged 3 commits into from
Jul 6, 2023
Merged

Fix edges() of hyperbolic convex polygons with marked vertices #244

merged 3 commits into from
Jul 6, 2023

Conversation

saraedum
Copy link
Member

@saraedum saraedum commented Jul 6, 2023 •
edited
Loading

Checklist

  • Added an entry in doc/news/.
  • Added a test for this change.

@saraedum saraedum marked this pull request as ready for review July 6, 2023 00:38
@saraedum saraedum enabled auto-merge July 6, 2023 00:38
@saraedum saraedum mentioned this pull request Jul 5, 2023
Draft
7 tasks
@saraedum saraedum force-pushed the edges branch 2 times, most recently from 30051d0 to 79e059c Compare July 6, 2023 02:00
@github-actions
Copy link

github-actions bot commented Jul 6, 2023

Documentation preview for this PR is ready! 🎉
Built with commit: 2c40adb

@saraedum saraedum merged commit abf210e into flatsurf:master Jul 6, 2023
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@saraedum