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

Commits on Oct 28, 2022

typo in Main
hrmacbeth
authored