Skip to content

Conversation

@Pankraz76
Copy link
Contributor

currently obsolete, as can only be used via CLI. We dont have this.

@Pankraz76 Pankraz76 marked this pull request as ready for review January 11, 2026 16:42
@Goooler Goooler merged commit 59804f2 into diffplug:main Jan 12, 2026
20 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