[RTEMS Project] #3615: [Wiki]Update data on development tools and Find a new home for it.

RTEMS trac trac at rtems.org
Fri Nov 23 03:39:39 UTC 2018


#3615: [Wiki]Update data on development tools and Find a new home for it.
---------------------------+--------------------------
 Reporter:  shashvat jain  |       Owner:  Chris Johns
     Type:  enhancement    |      Status:  assigned
 Priority:  high           |   Milestone:  5.1
Component:  admin          |     Version:  5
 Severity:  normal         |  Resolution:
 Keywords:  Wiki           |  Blocked By:
 Blocking:                 |
---------------------------+--------------------------

Comment (by shashvat jain):

 Does this wiki already has a "development tools" page , the information is
 quite old , is it worth deleting these and adding a new one which are
 updated?

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


More information about the bugs mailing list