* gdbint.texinfo: Change server name from sources.redhat.com to
authorPierre Muller <muller@sourceware.org>
Tue, 14 Apr 2009 18:18:41 +0000 (18:18 +0000)
committerPierre Muller <muller@sourceware.org>
Tue, 14 Apr 2009 18:18:41 +0000 (18:18 +0000)
commit87f9adc16651f76ec058e50b2d31e8d675bc9165
tree80b7786852a0f174df57bbcd944a66696f80e3d3
parent68724c3d39f77dc02261f8c7fe57b50842a35f68
* gdbint.texinfo: Change server name from sources.redhat.com to
sourceware.org throughout.
gdb/doc/ChangeLog
gdb/doc/gdbint.texinfo