This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug gdb/16135] manual should explain/suggest the "set history filename .gdb_history" use case explicitly
- From: "palves at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Thu, 07 Nov 2013 11:02:31 +0000
- Subject: [Bug gdb/16135] manual should explain/suggest the "set history filename .gdb_history" use case explicitly
- Auto-submitted: auto-generated
- References: <bug-16135-4717 at http dot sourceware dot org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=16135
Pedro Alves <palves at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |15224
--
You are receiving this mail because:
You are on the CC list for the bug.