Commit 4463c437 by Christophe Geuzaine

new getElementProperties api to get name, dimension, order, etc. for a given element type

parent 9b001f1d
Pipeline #1194 passed with stage
in 35 minutes 31 seconds