Closed abdulbadii closed 4 years ago
Which one is better this or git://git.sv.gnu.org/gnulib.git and what's the difference ?
This is the mirror, and will lag the main repo on gnu.org by a few hours
Which one is better this or git://git.sv.gnu.org/gnulib.git and what's the difference ?