This is the mail archive of the gdb-patches@sources.redhat.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[RFA] Correct double negative in gdbint.texinfo


Hi,

This patch is strictly a grammar change.

I'm not sure if "need not do anything" or "need do nothing" sounds
better though.

Ok to commit?

Ted Roth

Attachment: doc-gram-fix.diff
Description: Text document


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]