whitespace cleaning

This commit is contained in:
jmorsch 2019-07-11 13:01:36 -04:00
commit 347efc1274