Repository navigation

👷 add install option in make - #18

Merged

mandus merged 1 commit into

mainfrom

tidy/make-install

Jul 2, 2026

Merged

👷 add install option in make#18
mandus merged 1 commit into
mainfrom
tidy/make-install

Commits on Jul 2, 2026
- 👷 add install option in make
  mandus
  committed
  133fc58