[DOC:-file-list-exec-source-file]

Eli Zaretskii eliz@gnu.org
Wed Jan 30 04:20:00 GMT 2008


> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Wed, 30 Jan 2008 17:00:01 +1300
> 
> 
> This patch updates the manual to my recent change
> to -file-list-exec-source-file.
> 
> OK to commit?

Yes, thanks.



More information about the Gdb-patches mailing list