Skip to content
Snippets Groups Projects
Commit 757ba23f authored by florian's avatar florian
Browse files

FIX: Use correct file type for documentation

parent 62148a94
No related branches found
No related tags found
2 merge requests!123Release 0.13.0,!122FIX: use paging during options generation in edit mode
Pipeline #41998 passed
Stage: test