various style tweaks
authorAmin Bandali <bandali@gnu.org>
Fri, 29 Nov 2019 06:59:06 +0000 (01:59 -0500)
committerAmin Bandali <bandali@gnu.org>
Fri, 29 Nov 2019 06:59:06 +0000 (01:59 -0500)

No differences found