modules: ensure main file also exists#623

Merged

juliangruber merged 1 commit intomainfrom fix/stat-main-file

Nov 10, 2024

+1-1

Commits on Nov 10, 2024

modules: ensure main file also exists
juliangruber
committed