Mentions légales du service

Skip to content
deleted/r13215/with-mini-gmp-root
default avatar
vincent@vinc17.net
717e0fa7 · [configure.ac] Updated comments about configure options for mini-gmp. · 
Created a with-mini-gmp branch for a new --with-mini-gmp option,
as this will need some testing.

[From SVN r13190]