镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

update sbt script - #714

Merged
xerial merged 1 commit into
developfrom
update-sbt-script
Feb 7, 2023
Merged

xerial merged 1 commit into
developfrom
update-sbt-script

Conversation

@xerial

@xerial xerial commented Feb 7, 2023

Copy link
Copy Markdown
Member

No description provided.

@xerial xerial added the internal label Feb 7, 2023
@xerial
xerial merged commit 3381322 into develop Feb 7, 2023
@xerial
xerial deleted the update-sbt-script branch February 7, 2023 07:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant