tree 013d68555057a54833d07b59108d022417966ebd
parent 9b0fc1fe7faad6b97096953233777e94ec0f7bd1
author Gilles Sadowski <gilleseran@gmail.com> 1642085422 +0100
committer Gilles Sadowski <gilleseran@gmail.com> 1642085422 +0100

Remove spurious file.

Thanks to Karl-Philipp Richter.

Closes #201.