[Getfem-commits] [getfem-commits] branch partitions_initiation deleted (was 57f174f)

[Yves Renard]

renard pushed a change to branch partitions_initiation.

       was  57f174f   Merge branch 'master' of git.sv.gnu.org:/srv/git/getfem 
into partitions_initiation

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.