diff options
Diffstat (limited to 'source/l/mpfr/mpfr.url')
-rw-r--r-- | source/l/mpfr/mpfr.url | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/l/mpfr/mpfr.url b/source/l/mpfr/mpfr.url new file mode 100644 index 000000000..b80f2b10d --- /dev/null +++ b/source/l/mpfr/mpfr.url @@ -0,0 +1 @@ +https://www.mpfr.org |