[RTEMS Project] #4095: Remove doc from rtems-tools

RTEMS trac trac at rtems.org
Wed Dec 28 19:51:02 UTC 2022


#4095: Remove doc from rtems-tools
-------------------------+--------------------------
 Reporter:  Chris Johns  |       Owner:  Chris Johns
     Type:  task         |      Status:  assigned
 Priority:  normal       |   Milestone:  6.1
Component:  tool         |     Version:  6
 Severity:  normal       |  Resolution:
 Keywords:               |  Blocked By:
 Blocking:               |
-------------------------+--------------------------

Comment (by Joel Sherrill):

 Please check if this can be closed.

--
Ticket URL: <http://devel.rtems.org/ticket/4095#comment:2>
RTEMS Project <http://www.rtems.org/>
RTEMS Project


More information about the bugs mailing list