Tags give the ability to mark specific points in history as being important
-
serialization-tipdelete
441f7e37 · ·Removed serialization branch (since it has been merged into master).
-
-
-
sample_add17-root
e13044d9 · ·Root of the sample_add17 branch. This branch is an example for contributors and will be used to give information on the MPFR website (with "git diff"). It must never be used for development.
-
-
-
-
-
-
-
-
-
-
-
-
-