* observer.sh (texi) [DJGPP]: If the file name includes a colon,
authorEli Zaretskii <eliz@gnu.org>
Thu, 12 May 2005 20:38:51 +0000 (20:38 +0000)
committerEli Zaretskii <eliz@gnu.org>
Thu, 12 May 2005 20:38:51 +0000 (20:38 +0000)
commit5711a8b054c639f25447eac46087c5262e3a72dc
tree888e868108ef1f62278221f3e5cccaba4b3eef19
parenta77053c21717e1cefafbaa83708768ed0fde03cf
* observer.sh (texi) [DJGPP]: If the file name includes a colon,
convert it to the /dev/x/ form.
gdb/ChangeLog
gdb/observer.sh