diff options
author | Gary V. Vaughan <gary@gnu.org> | 2015-01-16 18:32:43 +0000 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2015-01-16 18:50:46 +0000 |
commit | ec43ff6eff3ecbc11392e6af3549d55016a11f0a (patch) | |
tree | 91363de22be66125bd1d569fcd80b1321b4f19a4 /gnulib | |
parent | c6ed4148b0981d39d95b67013716d77c5ac9c420 (diff) | |
download | libtool-ec43ff6eff3ecbc11392e6af3549d55016a11f0a.tar.gz |
gnulib: sync with upstream.
* gnulib: Sync with upstream.
* doc/.gitignore: Regenerate.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
Diffstat (limited to 'gnulib')
m--------- | gnulib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnulib b/gnulib -Subproject 1b6c775c6b9c8054afcadc0aeb0ae39e81dc638 +Subproject 342d9f09f2bab9a0380faa88787147bac4d4827 |