Commit 18c3bb96 by Christophe Geuzaine

small tweaks

parent 0931e8b5
Pipeline #1626 canceled with stage
in 16 minutes 5 seconds