Commit 247684ad authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

Bignum: remove unused extra files

parent 54880c13
Pipeline #34026 failed with stages
in 24 minutes and 54 seconds