Commit 6574c38c authored by Eric Bruneton's avatar Eric Bruneton

Delete unused code.

parent 7a469bc9
Pipeline #4569 passed with stage
in 11 minutes and 11 seconds