diff options
author | Geert Uytterhoeven <geert+renesas@glider.be> | 2019-06-17 16:34:00 +0200 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2019-06-20 14:16:56 -0600 |
commit | 0f48a2441613d39db50fb12cc739455ef7f1921f (patch) | |
tree | 3d833b1b994efa1433dd9c41747795def1a4a558 /Documentation/docutils.conf | |
parent | 57794aab8884087debb22fc214d8ca81999ffb0e (diff) |
doc-rst: Add missing newline at end of file
"git diff" says:
\ No newline at end of file
after modifying the file.
Signed-off-by: Geert Uytterhoeven <geert+renesas@glider.be>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/docutils.conf')
-rw-r--r-- | Documentation/docutils.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/docutils.conf b/Documentation/docutils.conf index 2830772264c8..f1a180b97dec 100644 --- a/Documentation/docutils.conf +++ b/Documentation/docutils.conf @@ -4,4 +4,4 @@ # http://docutils.sourceforge.net/docs/user/config.html [general] -halt_level: severe
\ No newline at end of file +halt_level: severe |