Skip to content

use ppx_subliner for cleaner cmdliner CLI#83

Merged
c-cube merged 6 commits intomasterfrom
simon/ppx_subliner
Feb 9, 2026
Merged

use ppx_subliner for cleaner cmdliner CLI#83
c-cube merged 6 commits intomasterfrom
simon/ppx_subliner

Commits

Commits on Feb 9, 2026