id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,blockedby,blocking 4095,Remove doc from rtems-tools,Chris Johns,Kinsey Moore,This directory is not used and needs to go. I will push the change directly to the repo to avoid the clutter a review would generate as most of the files and imported.,task,assigned,normal,6.1,tool,6,normal,,,,,