diff options
Diffstat (limited to 'os/rt/dox/rt.dox')
| -rw-r--r-- | os/rt/dox/rt.dox | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/os/rt/dox/rt.dox b/os/rt/dox/rt.dox index 5d198727f..f7dddd5d3 100644 --- a/os/rt/dox/rt.dox +++ b/os/rt/dox/rt.dox @@ -35,9 +35,7 @@ */
/**
- * @defgroup types Types
- * @details The system types are defined into the port layer, please refer to
- * the core port implementation section.
+ * @defgroup types Kernel Types
* @ingroup kernel
*/
|