When launching core list
with no installed platforms print no platforms installed
#2238
Merged
alessio-perugini merged 3 commits intomasterfrom Jul 6, 2023
Commits
Commits on Jul 4, 2023
Commits on Jul 5, 2023
- committed