Skip to content

GitLab

Closed
Created by Klaus Zimmermann@a002160Owner3 of 3 tasks completed3/3 tasks

Housekeeping

A number of housekeeping tasks are open:

  • get rid of legacy folder
  • get rid of legacy branch
  • ensure order of index functions
Edited by Klaus Zimmermann