Skip to content

Record installed addons in a .proper file#4

Merged
jpsca merged 1 commit into
mainfrom
metadata
May 20, 2026
Merged

Record installed addons in a .proper file#4
jpsca merged 1 commit into
mainfrom
metadata

Conversation

@jpsca
Copy link
Copy Markdown
Owner

@jpsca jpsca commented May 20, 2026

TODO: Show what installed addons are present when running the proper CLI command.

TODO: Show what installed addons are present when running
the `proper` CLI command.
@jpsca jpsca merged commit 6fa1c87 into main May 20, 2026
2 checks passed
@jpsca jpsca deleted the metadata branch May 20, 2026 18:48
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.

1 participant