diff options
Diffstat (limited to 'share/info/configure.info')
| -rw-r--r-- | share/info/configure.info | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/info/configure.info b/share/info/configure.info index e421b28..076e9cd 100644 --- a/share/info/configure.info +++ b/share/info/configure.info @@ -1,5 +1,5 @@ This is configure.info, produced by makeinfo version 4.13 from -/tmp/android-9627/src/build/../gdb/gdb-7.3.x/etc/configure.texi. +/tmp/android-8532/src/build/../gdb/gdb-7.3.x/etc/configure.texi. INFO-DIR-SECTION GNU admin START-INFO-DIR-ENTRY |