[Getfem-commits] [getfem-commits] branch devel-logari81-xml created (now db725b2)

[Konstantinos Poulios via Getfem-commits]

logari81 pushed a change to branch devel-logari81-xml.

      at db725b2  Move enumeration from header file

This branch includes the following new commits:

     new db725b2  Move enumeration from header file