Missing project description for two sub-modules#3528

wadoon merged 1 commit intomainKeYProject/key:mainfrom

weigl/backport2123KeYProject/key:weigl/backport2123Copy head branch name to clipboard