Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
avoid repetition of format options (#1796)
(as suggested by #1794 (comment); note that the second line is still in the ugly "paragraph" mode in VSCode, even though it's shorter that the first line 🤷
- Loading branch information