diff .hgsub @ 15890:44f30dcd87e0

maint: merge in gnulib changes from stable
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Thu, 03 Jan 2013 13:24:14 -0500
parents e40ae983288f 7f4082b00a99
children
line wrap: on
line diff
--- a/.hgsub	Thu Jan 03 10:06:59 2013 -0800
+++ b/.hgsub	Thu Jan 03 13:24:14 2013 -0500
@@ -1,1 +1,1 @@
-gnulib = [git]git://git.sv.gnu.org/gnulib
+gnulib-hg = gnulib-hg