diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-11-05 16:27:23 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-11-11 07:43:38 +0100 |
commit | 3c896b996c2a7fea6176094266c822e4acf76ee5 (patch) | |
tree | 38479c0a42038dcfd5f6a5efb3cf824f6d1e22c1 /shell | |
parent | c-user: Add "Generated from ..." comments (diff) | |
download | rtems-docs-3c896b996c2a7fea6176094266c822e4acf76ee5.tar.bz2 |
eng: Remove "Generating a Tools Patch"
This section is probably some left over stuff from CVS times. The topic
is already covered by the "Software Development (Git Users)" section.
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions