gdb/35

chastain@redhat.com chastain@redhat.com
Wed Jun 6 12:04:00 GMT 2001


Synopsis: Re: gdb/gdb/16

State-Changed-From-To: open->closed
State-Changed-By: chastain
State-Changed-When: Wed Jun  6 12:04:44 2001
State-Changed-Why:
    This is another bit of gnatsweb cruft.
    Somebody edited "gdb/16" instead of "16",
      so gnatsweb created gdb/gdb/16.
    No big deal.
    

http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view&pr=35&database=gdb



More information about the Gdb-prs mailing list