Skip to content

Dune: use data_only_dirs instead of deprecated ignored_subdirs#777

Merged
vouillon merged 2 commits intomasterfrom templatesDec 8, 2023

Commits

Commits on Dec 8, 2023