Closed bastbu closed 1 year ago
With this PR we remove the authors from the introduction. The Git history is more adequate to track who authored what.
With this PR we remove the authors from the introduction. The Git history is more adequate to track who authored what.