Miscellaneous cleanup

Christian Rochacommitted parent 42c157df47f8a842aebad00169b33ccec8e67668c663d0eBrowse files
5 files changed+26−77

Rendering diff…