Skip to content

Update dotfiles#213

Merged
finphie merged 1 commit into
mainfrom
chore/20231115003122
Nov 15, 2023
Merged

Update dotfiles#213
finphie merged 1 commit into
mainfrom
chore/20231115003122

Conversation

@finphie

@finphie finphie commented Nov 15, 2023

Copy link
Copy Markdown
Owner

No description provided.

@finphie finphie added the chore Changes to the build process or auxiliary tools label Nov 15, 2023
@finphie
finphie merged commit 046a748 into main Nov 15, 2023
@finphie
finphie deleted the chore/20231115003122 branch November 15, 2023 00:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Changes to the build process or auxiliary tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant