diff options
Diffstat (limited to 'correct_underline.patch')
-rw-r--r-- | correct_underline.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/correct_underline.patch b/correct_underline.patch new file mode 100644 index 000000000000..2b1db2358c6e --- /dev/null +++ b/correct_underline.patch @@ -0,0 +1,11 @@ +--- a/docs/signals.rst 2018-12-14 01:55:12.000000000 +0800 ++++ b/docs/signals.rst 2019-02-17 00:56:50.461908330 +0800 +@@ -101,7 +101,7 @@ + + + timeout parameter +----------------- ++----------------- + + The ``timeout`` parameter specifies how long ``waitSignal`` should wait for a + signal to arrive. If the timeout is ``None``, there won't be any timeout, i.e. |