Skip to content
This repository was archived by the owner on Oct 10, 2025. It is now read-only.

Fixes indent#176

Merged
GeirMG merged 1 commit intomainfrom
task/fix-indent
Apr 8, 2025
Merged

Fixes indent#176
GeirMG merged 1 commit intomainfrom
task/fix-indent

Conversation

@GeirMG
Copy link
Contributor

@GeirMG GeirMG commented Apr 8, 2025

No description provided.

@GeirMG GeirMG requested a review from a user April 8, 2025 12:17
@GeirMG GeirMG self-assigned this Apr 8, 2025
@GeirMG GeirMG merged commit 6c92185 into main Apr 8, 2025
3 checks passed
@GeirMG GeirMG deleted the task/fix-indent branch April 8, 2025 12:31
@GeirMG GeirMG added the internal label Jun 2, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant