tree b0cb46f5a2df6f6d181f5fc6469f282e3469c2fd
parent e39ad3c984966a8798339f3187765319a88023d1
author Gilles Sadowski <gilleseran@gmail.com> 1627470078 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1627470078 +0200

Delete spurious file.

File was committed by mistake.