Delete leading spaces surrounding closefile

Aesthetics and convention aside, they confuse git diff into
misidentifying closefile as filename.
This commit is contained in:
Miguel Pineiro Jr 2021-12-08 18:42:59 -05:00
parent 01749f04cf
commit 1d780ac4f8