Closed JPietrzykTUD closed 4 months ago
Changed install_tsl.sh to use the correct tarball and select the correct flags-set
Changed install_tsl.sh to use the correct tarball and select the correct flags-set