diff options
Diffstat (limited to 'user/tools')
| -rw-r--r-- | user/tools/tester.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/user/tools/tester.rst b/user/tools/tester.rst index 0c07415..417daa5 100644 --- a/user/tools/tester.rst +++ b/user/tools/tester.rst @@ -5,8 +5,8 @@ .. _rtems-tester-command: -RTEMS Tester and Run Commands -============================= +RTEMS Tester and Run +==================== .. index:: Tools, rtems-test, rtems-run |