Skip to content
This repository was archived by the owner on Aug 24, 2024. It is now read-only.

fix typo in AppInfo description#38

Open
hrmacbeth wants to merge 1 commit intoleanprover:mainfrom
hrmacbeth:patch-1
Open

fix typo in AppInfo description#38
hrmacbeth wants to merge 1 commit intoleanprover:mainfrom
hrmacbeth:patch-1

Conversation

@hrmacbeth
Copy link

@hrmacbeth hrmacbeth commented Oct 28, 2022

This doesn't build, but as far as I can tell it's unrelated to the typo fix I made.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant