diff .hgsub @ 15889:7f4082b00a99 stable

Replace gnulib subrepo with gnulib-hg
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Thu, 03 Jan 2013 12:54:32 -0500
parents ecf0c6bca0c9
children 44f30dcd87e0
line wrap: on
line diff
--- a/.hgsub	Thu Jan 03 10:05:03 2013 -0800
+++ b/.hgsub	Thu Jan 03 12:54:32 2013 -0500
@@ -1,1 +1,1 @@
-gnulib = [git]git://git.sv.gnu.org/gnulib
+gnulib-hg = gnulib-hg