(xreload): Note its need on GNU/Linux.
authorDave Love <fx@gnu.org>
Thu, 28 Sep 2000 19:16:27 +0000 (19:16 +0000)
committerDave Love <fx@gnu.org>
Thu, 28 Sep 2000 19:16:27 +0000 (19:16 +0000)
commitc71ea2312107e0e9e888ec8624df3531dd84ff2d
tree01ae63357075bac22d1d7b50114eb3f1037d33d6
parentecb8b666aa9e413cece6f7f15974324edd0da3fd
(xreload): Note its need on GNU/Linux.
src/.gdbinit