John Willard 88d7dbfc10 removes double spaces before symbols (#62397) ...

This can apparently cause some bugs on occasions, so I thought I might as well try to kill them all.

2021-10-28 19:25:50 -03:00

..

byjax.dm

removes double spaces before symbols (#62397)

2021-10-28 19:25:50 -03:00

menus.dm

Grep for space indentation (#54850)

2020-11-30 12:48:40 -05:00