rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-10-17 08:59:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

user: Rework Prefixes section

Browse Source 
Rename it to "Choose an Installation Prefix".

Update #3675.
This commit is contained in:
Sebastian Huber
2019-01-11 15:47:00 +01:00
parent 24456556d6
commit eae5454288
5 changed files with 37 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
user/tools/index.rst
View File

@@ -2,6 +2,8 @@
.. Copyright (C) 2017 Chris Johns <chrisj@rtems.org>
.. _HostTools:
Host Tools
**********