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

v5 devel branch #307

Merged
merged 347 commits into from
Feb 3, 2025
Merged

v5 devel branch #307

merged 347 commits into from
Feb 3, 2025

Conversation

mara004
Copy link
Member

@mara004 mara004 commented Apr 4, 2024

No description provided.

@mara004 mara004 force-pushed the devel_new branch 30 times, most recently from ed9e89c to c9b8f15 Compare April 8, 2024 13:43
@mara004 mara004 force-pushed the devel_new branch 2 times, most recently from f51a808 to bd27343 Compare February 2, 2025 22:20
I'm not happy with the long bloated description, and splitting into
separate fields might be cleaner after all...

Also, we have some description in the Readme (caller-provided data
files) already.
@mara004 mara004 force-pushed the devel_new branch 2 times, most recently from 8e22a0a to d3293dd Compare February 2, 2025 22:40
@mara004 mara004 merged commit 029327a into main Feb 3, 2025
@mara004 mara004 deleted the devel_new branch February 3, 2025 17:24
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

Successfully merging this pull request may close these issues.

3 participants