Dear Gitlab Users, for our upcoming upgrade to Gitlab v14, Gitlab will be unavailable on Thursday, 05.08.2021 from 5:00 pm to approximately 7:00 pm. Note that with v14, certain breaking changes will be introduced (

Commit 1043ee58 authored by Hanna-Lena Stolz's avatar Hanna-Lena Stolz
Browse files

Aligned descriptions for set, text and index elements. Ref#107

parent 97b94676
Pipeline #201286 passed with stage
in 31 seconds