Skip to content

Conversation

@mafredri
Copy link
Member

@mafredri mafredri commented Jan 14, 2025

This is useful if you, like me, prefer to live in the terminal.

@mafredri mafredri force-pushed the mafredri/df-unminimize branch from 9723c0a to 505c8ec Compare January 14, 2025 16:58
@mafredri mafredri merged commit 5a89e89 into main Jan 14, 2025
31 checks passed
@mafredri mafredri deleted the mafredri/df-unminimize branch January 14, 2025 17:10
@github-actions github-actions bot locked and limited conversation to collaborators Jan 14, 2025
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.

3 participants