Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dokka #1708

Merged
merged 7 commits into from
Dec 4, 2021
Merged

Dokka #1708

merged 7 commits into from
Dec 4, 2021

Conversation

Karlatemp
Copy link
Member

close #1482

@Karlatemp Karlatemp added t:enhancement 类型: 现有功能上的优化 N 优先级: 一般 t:documentation 类型: 文档更新 t:task 类型: 要做的任务 labels Dec 4, 2021
@Karlatemp Karlatemp added this to the 2.9.0-RC milestone Dec 4, 2021
@Karlatemp Karlatemp requested a review from Him188 December 4, 2021 14:42
@Him188 Him188 added the z:ready-to-merge 状态: PR 已经可以合并, 正在等待一些安排 label Dec 4, 2021
@Him188 Him188 merged commit d10d203 into dev Dec 4, 2021
@Him188 Him188 deleted the dokka branch December 4, 2021 15:43
@Him188 Him188 restored the dokka branch December 4, 2021 15:43
@Him188 Him188 deleted the dokka branch December 4, 2021 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Him188 Him188 Him188 approved these changes

Assignees
No one assigned
Labels
N 优先级: 一般 t:documentation 类型: 文档更新 t:enhancement 类型: 现有功能上的优化 t:task 类型: 要做的任务 z:ready-to-merge 状态: PR 已经可以合并, 正在等待一些安排
Projects
No open projects
2.9.0-RC
Status: Fixed
Milestone
2.9.0-RC
Development

Successfully merging this pull request may close these issues.

考虑制作Mirai-Core的JavaDocs吗？
2 participants
@Karlatemp @Him188