Remove archive from GIT

This commit is contained in:
Robert-André Mauchin 2023-08-19 10:08:02 +02:00
commit 8602cfb5f3