mirror of
https://https.git.savannah.gnu.org/git/libtool.git
synced 2026-01-27 18:04:49 +00:00
* doc/libtool.texi (Index): Renamed to `Combined Index'. Signed-off-by: Gary V. Vaughan <gary@gnu.org>
* doc/libtool.texi (Index): Renamed to `Combined Index'. Signed-off-by: Gary V. Vaughan <gary@gnu.org>