Skip to content

Adding project name to launch menu entries in order to avoid confusions#338

Merged
mfussenegger merged 2 commits intomfussenegger:masterfrom magidc:masterOct 4, 2022