Andrew Gallant f16ea0812d ignore: polish ...

Like previous commits, we do a bit of polishing and bring the style up
to my current practice.

2023-10-09 20:29:52 -04:00

..

walk.rs

ignore: polish

2023-10-09 20:29:52 -04:00