diff options
Diffstat (limited to 'correct_doc_label.patch')
| -rw-r--r-- | correct_doc_label.patch | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/correct_doc_label.patch b/correct_doc_label.patch new file mode 100644 index 000000000000..16cbd896e6a7 --- /dev/null +++ b/correct_doc_label.patch @@ -0,0 +1,8 @@ +--- a/docs/format_online.rst 2013-07-05 17:46:04.000000000 +0800 ++++ b/docs/format_online.rst 2019-01-23 00:34:05.497605940 +0800 +@@ -1,4 +1,4 @@ +-.. _format_hdf5: ++.. _format_online: + + ============== + Online queries |