configuration for white-space#724

Merged

KrisThielemans merged 5 commits into

KrisThielemans:white-space-config

May 27, 2021

Commits on Oct 22, 2020

Commits on May 26, 2021

White space config (#3)
casperdcl
authored

Commits on May 27, 2021

Apply suggestions from code review in #724 [ci skip]

authored