Skip to content
This repository has been archived by the owner on Feb 9, 2023. It is now read-only.

Downgrade dokka #132

Merged
merged 1 commit into from
May 9, 2022
Merged

Downgrade dokka #132

merged 1 commit into from
May 9, 2022

Conversation

eygraber
Copy link
Owner

@eygraber eygraber commented May 9, 2022

No description provided.

@eygraber eygraber self-assigned this May 9, 2022
@eygraber eygraber merged commit 8e5b709 into master May 9, 2022
@eygraber eygraber deleted the downgrade-dokka branch May 9, 2022 20:23
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant