Make ignore sub-sections optional #44

Merged
aronson merged 1 commit from ignore-fix into main 2023-10-11 23:00:58 +00:00
aronson commented 2023-10-11 23:00:05 +00:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.