On Sun, Mar 22, 2020 at 10:18 AM <cl...@isep.ipp.pt> wrote: > > From: Cláudio Maia <cl...@isep.ipp.pt> > > --- > user/tools/tester.rst | 6 +++--- > 1 file changed, 3 insertions(+), 3 deletions(-) > > diff --git a/user/tools/tester.rst b/user/tools/tester.rst > index 32e1ca2..a95651e 100644 > --- a/user/tools/tester.rst > +++ b/user/tools/tester.rst > @@ -586,6 +586,6 @@ review the available options by using the ``--help`` > option: > --trace : Trace the execution > --warn-all : Generate warnings > > -.. note:: The list of options is growing according to the needs of each > release. > - Please see the available options for the release you are using for > - more information. > +.. note:: The list of options may be different for each release. For more > + information, please see the available options for the release > + you are using. Yeah this is better :)
> -- > 2.17.1 > > _______________________________________________ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
