Skip to content

Serveral refactorings in glotaran.Parameter#910

Merged
s-weigand merged 18 commits intoglotaran:mainfrom joernweissenborn:fix/savestderrNov 22, 2021

Commits