renard pushed a change to branch devel-tetsuo-code-cleanup.

       was  65ebcac   Merge branch 'devel-tetsuo-code-cleanup' of 
ssh://git.sv.gnu.org:/srv/git/getfem into devel-tetsuo-code-cleanup

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

Reply via email to