diff options
Diffstat (limited to 'Documentation/dev-options.rst')
| -rw-r--r-- | Documentation/dev-options.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/dev-options.rst b/Documentation/dev-options.rst index 23e8096c..57f9e8d6 100644 --- a/Documentation/dev-options.rst +++ b/Documentation/dev-options.rst @@ -1,5 +1,5 @@ -sparse - extra options for developers -===================================== +Extra options for developers +============================ SYNOPSIS -------- |