Feature remove obsolete indent guards#637

Merged

sandro-elsweijer merged 3 commits intomainfrom feature-remove_obsolete_indent_guards

Jul 20, 2023

+3-7

Commits on May 11, 2022

Remove obsolete indent-guards
Knapp
committed

Commits on May 12, 2022

Removed obsolete Indent-Guards
Knapp
committed

Commits on Jul 20, 2023

Merge remote-tracking branch 'origin/main' into feature-remove_obsolete_indent_guards
Davknapp
committed