diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-17 09:10:15 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-18 07:32:26 +0100 |
| commit | 79fb6fddf831586231b0b101790b59f11e708bb5 (patch) | |
| tree | 510906b5d6943a218c02098266325b5b0abf4e01 /c-user/config/event-record.rst | |
| parent | c-user: Add reference to proxies (diff) | |
| download | rtems-docs-79fb6fddf831586231b0b101790b59f11e708bb5.tar.bz2 | |
c-user: Canonicalize configuration option groups
Update #3836.
Diffstat (limited to 'c-user/config/event-record.rst')
| -rw-r--r-- | c-user/config/event-record.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c-user/config/event-record.rst b/c-user/config/event-record.rst index 6ac0db0..01e9af2 100644 --- a/c-user/config/event-record.rst +++ b/c-user/config/event-record.rst @@ -5,6 +5,8 @@ Event Recording Configuration ============================= +This section describes configuration options related to the event recording. + .. index:: CONFIGURE_RECORD_EXTENSIONS_ENABLED .. _CONFIGURE_RECORD_EXTENSIONS_ENABLED: |