-
Andreas Marek authoredsetting default kernels This fixes issue #16: due to a mess in setting the default kernels, several kernels were called at the same time, which produces wrong results
On Monday, June 12, 2023, from 9.00 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
setting default kernels This fixes issue #16: due to a mess in setting the default kernels, several kernels were called at the same time, which produces wrong results