Skip to content

Minor tweaks to lint file#43

Merged
jeromekelleher merged 1 commit into
tskit-dev:mainfrom
jeromekelleher:update
Mar 6, 2026
Merged

Minor tweaks to lint file#43
jeromekelleher merged 1 commit into
tskit-dev:mainfrom
jeromekelleher:update

Conversation

@jeromekelleher

Copy link
Copy Markdown
Member

No description provided.

@jeromekelleher jeromekelleher merged commit fe15045 into tskit-dev:main Mar 6, 2026
@jeromekelleher jeromekelleher deleted the update branch March 6, 2026 16:38
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.

1 participant