Commit 6d4ec893 by Christophe Geuzaine

remove unused option

parent 23e5b3e5
Pipeline #1102 passed with stage
in 35 minutes 0 seconds