Skip to content

Update of installation scripts to run on Ubuntu 22.04#10

Open
alcemirsantos wants to merge 3 commits intose-sic:infosaar-updatesfrom alcemirsantos:main