tree 8b9c9c4be6edfb71d53ced0b544dd5df53265418
parent 826d97894cb5b42647fda4cb5c7dc4bf9ab910e3
author Henner Zeller <h.zeller@acm.org> 1573943967 -0800
committer Henner Zeller <h.zeller@acm.org> 1573943967 -0800

Fix some inconsistent indentation and trailing spaces.