Commit 4ded05e8 authored by Antoine's avatar Antoine

Delete dead code. Fixes #770

parent 746fac91
Pipeline #67823 passed with stages
in 8 minutes and 47 seconds