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