Skip to content

Add setting for whether to include ignored files in lists#1453

Merged
mrubens merged 1 commit intomainfrom
rooignore_settings
Mar 7, 2025
Merged

Add setting for whether to include ignored files in lists#1453
mrubens merged 1 commit intomainfrom
rooignore_settings

Commits

Commits on Mar 7, 2025