Commit 853328f4 by Christophe Geuzaine

remove unused

parent e4d07f0a
Pipeline #1050 passed with stage
in 35 minutes 7 seconds