tree 8be7afeb4a7d37ecc725d6ac1df3012c9b4ed298
parent e34ea727ca72599081f091a08e41d1ba3f5dbdd1
author Gilles Sadowski <gilleseran@gmail.com> 1591440615 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1591440615 +0200

Formatting.

Closes #142.