Ciao,
Il 2019-09-11 19:37 t...@gmplib.org ha scritto:
I added a history preservation feature to the .../devel/thres/ pages.
At
23:59 each night, all pages are copied to .../devel/thres/YYYY-MM-DD.
(There is no index, one needs to type in the wanted date manually.)
Is this still active?
I can access https://gmplib.org/devel/thres/2021-10-30/ , but I'd like
to check how FAC_ODD_THRESHOLD evolves after my last commit to fac_ui...
and I find an empty page if I look at
https://gmplib.org/devel/thres/2021-10-30/FAC_ODD_THRESHOLD
Ĝis,
m
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-devel
