Skip to content

Merge Umpteen#6

Merged
oocube merged 1 commit into
mainfrom
umpteen
Jun 15, 2026
Merged

Merge Umpteen#6
oocube merged 1 commit into
mainfrom
umpteen

Conversation

@oocube

@oocube oocube commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

Fix links back to index
Warn about missing semicolons in plist dictionaries, to be in sync with Oolite
Enforce checktyle findings

Warn about missing semicolons in plist dictionaries, to be in sync with Oolite
Enforce checktyle findings

@mcarans mcarans left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine to me

@oocube oocube merged commit b5f6884 into main Jun 15, 2026
8 checks 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

Development

Successfully merging this pull request may close these issues.

2 participants