deleted/r10455/ubf-tipdelete · Tags · mpfr / mpfr · GitLab

Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.9.6
https://docs.gitlab.com/releases/18/gitlab-18-9-released/

deleted/r10455/ubf-tipdelete

vincent@vinc17.net

be62f4a9 · Merged the latest change from the trunk (r10452). · Jun 07, 2016

Removed ubf branch (since it has been merged into the trunk).

[From SVN r10455]