Apply common options in `dev compile` subcommands#2732

Merged

lukaszcz merged 1 commit intomainfrom 2725-juvix-dev-compile-ignores-the-flags

Apr 17, 2024

+48-25

Commits on Apr 17, 2024

apply common options in dev compile subcommands
janmasrovira
committed