diff options
Diffstat (limited to 'docs/src/goals.dox')
-rw-r--r-- | docs/src/goals.dox | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/src/goals.dox b/docs/src/goals.dox index 46c092086..e7a26fb3f 100644 --- a/docs/src/goals.dox +++ b/docs/src/goals.dox @@ -19,7 +19,6 @@ /**
* @page goals Project Goals
- * @{
* <h2>Another RTOS?</h2>
* The first question to be answered is: there was really the need for YET
* ANOTHER RTOS?<br>
@@ -87,4 +86,3 @@ * code is released as well, all the included demos are capable of executing
* the test suite and the OS benchmarks.
*/
-/** @} */
|