Skip to content

Use dokkaHtml instead of dokkaJekyll#40

Merged
adjtime merged 1 commit intomasterfrom
unstable
Jul 11, 2023
Merged

Use dokkaHtml instead of dokkaJekyll#40
adjtime merged 1 commit intomasterfrom
unstable

Conversation

@0x6675636b796f75676974687562
Copy link
Copy Markdown
Member

No description provided.

@adjtime adjtime enabled auto-merge (squash) July 11, 2023 15:00
@adjtime adjtime merged commit d433013 into master Jul 11, 2023
@adjtime adjtime deleted the unstable branch July 11, 2023 15:01
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.

3 participants