Skip to content
This repository has been archived by the owner on Jul 23, 2024. It is now read-only.

Improved mobile support #518

Merged
merged 1 commit into from
May 30, 2023
Merged

Improved mobile support #518

merged 1 commit into from
May 30, 2023

Conversation

jeluard
Copy link
Contributor

@jeluard jeluard commented May 30, 2023

Fixes #451

@jeluard jeluard merged commit 7e3ed93 into main May 30, 2023
@jeluard jeluard deleted the mobile branch May 30, 2023 18:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Mobile version seems broken
1 participant