This repository was archived by the owner on Jan 9, 2026. It is now read-only.

replace star by type#896

Draft

larskuhtz wants to merge 1 commit intomasterfrom

lars/replace-star-by-type

Commits on Jul 29, 2021

replace star by type
larskuhtz
committed