Uniformize whitespace in commented-out defines

This commit is contained in:
Gilles Peskine 2019-07-27 23:39:56 +02:00
parent 2d89ccced5
commit 5639aef7d7