Add ignore_all_dot_files config to allow setting it to false; remove .serena from ALWAYS_IGNORED_DIRS#1456
Open
EarthmanWeb wants to merge 5 commits into
Open
Add ignore_all_dot_files config to allow setting it to false; remove .serena from ALWAYS_IGNORED_DIRS#1456EarthmanWeb wants to merge 5 commits into
EarthmanWeb wants to merge 5 commits into
