Skip to content

Add skipLocalJars option and error message when used at configuration time#165

Merged
jjohannes merged 1 commit intomainfrom
161-skipLocalJars
Feb 14, 2025
Merged

Add skipLocalJars option and error message when used at configuration time#165
jjohannes merged 1 commit intomainfrom
161-skipLocalJars

Conversation

@jjohannes
Copy link
Copy Markdown
Member

Resolves #161
Resolves #106

@jjohannes jjohannes added this to the 1.11 milestone Feb 14, 2025
@jjohannes jjohannes self-assigned this Feb 14, 2025
@jjohannes jjohannes modified the milestone: 1.11 Feb 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant