Commit e28ad586 by Christophe Geuzaine

remove unused

parent 292e03a1
Pipeline #1658 passed with stage
in 71 minutes 0 seconds