diff options
author | Gary V. Vaughan <gary@gnu.org> | 2013-09-22 16:22:06 +0700 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2013-09-22 16:22:06 +0700 |
commit | 14a0629ba3b954f647bfaa2a72e18dc6a24b2d1a (patch) | |
tree | 9d9fefe934eb1a2bd0ddb8e667542e9d29780c53 | |
parent | c09a187c50f2f74e89d4d0991bdbd2c6846cc707 (diff) | |
download | m4-14a0629ba3b954f647bfaa2a72e18dc6a24b2d1a.tar.gz |
maint: fix gnulib path in .gitmodules.
* .gitmodules (gnulib): Set path to build-aux/gnulib.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index bb9e1baf..0d4d08ae 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "gnulib"] - path = gnulib + path = build-aux/gnulib url = git://git.sv.gnu.org/gnulib.git |