Kill revision history, which was not useful (#6018)

gvanrossum · JukkaL · commit d5326efe2578 · 2018-12-07T18:53:35.000Z
(Use the git log if you want to know what changed.)

Also fix a broken reference.
diff --git a/docs/source/index.rst b/docs/source/index.rst
@@ -62,7 +62,6 @@ Mypy is a static type checker for Python 3 and Python 2.7.
    python36
    additional_features
    faq
-   revision_history
 
 Indices and tables
 ==================
diff --git a/docs/source/revision_history.rst b/docs/source/revision_history.rst
diff --git a/docs/source/running_mypy.rst b/docs/source/running_mypy.rst
@@ -209,7 +209,7 @@ type hints nor have to time to write your own, you can *silence* the errors:
 3.  To silence *all* missing import errors for *all* libraries in your codebase,
     invoke mypy with the ``--ignore-missing-imports`` command line flag or set
     the ``ignore_missing_imports``
-    :ref:`config file option <config-file-import-discovery-per-module` to True
+    :ref:`config file option <config-file-import-discovery-per-module>` to True
     in the *global* section of your mypy config file::
 
         [mypy]
