Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add some basic upkeep stuff #32

Closed
wants to merge 3 commits into from
Closed

Conversation

ntindle
Copy link

@ntindle ntindle commented Aug 30, 2021

No description provided.

@ntindle
Copy link
Author

ntindle commented Aug 30, 2021

#28 , #26 should be fixed by this

.gitignore Outdated Show resolved Hide resolved
manifest.json Outdated Show resolved Hide resolved
ntindle and others added 2 commits September 25, 2021 00:22
Co-authored-by: Christoph Bünte <[email protected]>
Co-authored-by: Christoph Bünte <[email protected]>
@ntindle ntindle closed this May 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants