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.