Commit 74d7ff5d authored by Frank Bergmann's avatar Frank Bergmann

- made addint install files a set operation

parent b945210f
Pipeline #28 failed with stages