Skip to content

Improved names for meta KIs.#648

Merged
bnouwt merged 1 commit intomasterfrom
improve_metadata_ki_names
Apr 9, 2025
Merged

Improved names for meta KIs.#648
bnouwt merged 1 commit intomasterfrom
improve_metadata_ki_names

Commits

Commits on Apr 9, 2025