Skip to content

add option to deactivate tagger, further added smaller optimizations#20

Merged
JannikStreek merged 7 commits intomainfrom 19-collection-small-changesJan 15, 2024

Commits

Commits on Jan 12, 2024

Commits on Jan 14, 2024

Commits on Jan 15, 2024