Port markdown docs to rst and introduce "githublink" (#3107)

5bf5e46c · Yuge Zhang · GitHub · dbb2434f · 5bf5e46c · 5bf5e46c
Unverified Commit 5bf5e46c authored Dec 10, 2020 by Yuge Zhang Committed by GitHub Dec 10, 2020
8 changed files
--- a/docs/tools/patches/3.txt
+++ b/docs/tools/patches/3.txt
--- a/docs/tools/patches/4.txt
+++ b/docs/tools/patches/4.txt
--- a/docs/tools/patches/5.txt
+++ b/docs/tools/patches/5.txt
--- a/docs/tools/patches/6.txt
+++ b/docs/tools/patches/6.txt
--- a/docs/tools/patches/7.txt
+++ b/docs/tools/patches/7.txt
--- a/docs/tools/patches/8.txt
+++ b/docs/tools/patches/8.txt
--- a/docs/tools/patches/9.txt
+++ b/docs/tools/patches/9.txt
--- a/docs/tools/restoremd.py
+++ b/docs/tools/restoremd.py