Merge branch 'dev'

This commit was merged in pull request #16.
This commit is contained in:
2025-05-05 08:59:42 +02:00
2 changed files with 61 additions and 1 deletions

View File

@@ -2,7 +2,10 @@ name: Feature request
description: Suggest an idea for this project
labels:
- kind/feature
- triage
assignees:
- WorldTeacher
proojects:
- KomSuite/3
body:
- type: textarea