deleted/r13215/with-mini-gmp-tipdelete · Tags · mpfr / mpfr

Mentions légales du service

A GitLab upgrade is scheduled for Monday April 20th. The service will be unavailable from 9 am to 12. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

deleted/r13215/with-mini-gmp-tipdelete

vincent@vinc17.net

3efcf7d5 · [doc/mini-gmp] Update. · Sep 17, 2018

Removed the with-mini-gmp branch (since it has been merged into the
trunk).

[From SVN r13215]

Admin message