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

PR 407 + tweaks #421

Merged
merged 84 commits into from
Sep 4, 2024
Merged

PR 407 + tweaks #421

merged 84 commits into from
Sep 4, 2024

Conversation

sanjayankur31
Copy link
Member

cc @AdityaBITMESRA : working on your PR here

Also regenerates all man pages

[skip ci]
Use better variable names to clarify what point is being used.
Also correctly map points to their corresponding segments.
Otherwise some of our test files don't get committed.
There's no need to store the segment groups in another data structure
and do another pass to create them. We can keep adding the segments to
the segment groups as we go.
For some files, iterating over both files takes quite a while.
@sanjayankur31 sanjayankur31 merged commit 14b61a2 into development Sep 4, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants