Remove unused files from the old autodiff library which is no longer supported
This merge request removes files from the old autodiff library which are no longer needed.
A causa di un intervento di manutenzione il servizio non sarà disponibile il 17/05 dalle 08:30 alle 12:30 (CEST) - The Gitlab service will not be available on May 17th from 08:30 to 12:30 (CEST)
This merge request removes files from the old autodiff library which are no longer needed.