diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-08-06 09:30:05 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-08-07 07:15:09 +0200 |
| commit | cbb49c602a18118ff538fde0940a8b8e0bba6309 (patch) | |
| tree | 8d0f075c319a633d314d4e71cf4f28fa69aca0b4 | |
| parent | eng: Add reference to unspecified interfaces (diff) | |
| download | rtems-docs-cbb49c602a18118ff538fde0940a8b8e0bba6309.tar.bz2 | |
c-user: CONFIGURE_APPLICATION_DISABLE_FILESYSTEM
Improve formatting.
| -rw-r--r-- | c-user/config/filesystem.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/c-user/config/filesystem.rst b/c-user/config/filesystem.rst index b429a4f..8d1efbd 100644 --- a/c-user/config/filesystem.rst +++ b/c-user/config/filesystem.rst @@ -66,8 +66,8 @@ DEFAULT CONFIGURATION: configured filesystems are initialized during system initialization. DESCRIPTION: - In case this configuration option is defined, then **no** base filesystem is - initialized during system initialization and **no** filesystems are + In case this configuration option is defined, then **no base filesystem** is + initialized during system initialization and **no filesystems** are configured. NOTES: |