Skip to content

Update dotfiles#185

Merged
finphie merged 1 commit into
mainfrom
chore/20230902131922
Sep 2, 2023
Merged

Update dotfiles#185
finphie merged 1 commit into
mainfrom
chore/20230902131922

Conversation

@finphie

@finphie finphie commented Sep 2, 2023

Copy link
Copy Markdown
Owner

No description provided.

@finphie finphie added the chore Changes to the build process or auxiliary tools label Sep 2, 2023
@finphie
finphie merged commit e5f1cac into main Sep 2, 2023
@finphie
finphie deleted the chore/20230902131922 branch September 2, 2023 13:22
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