From 3104cdc4e3e1f1644805c226a9f9ef2d94c693c1 2020-05-19 13:27:35
From: Marcio Mazza <marciomazza@gmail.com>
Date: 2020-05-19 13:27:35
Subject: [PATCH] Fix broken link in docs

The target file was moved in prompt-toolkit
on the commit
https://github.com/prompt-toolkit/python-prompt-toolkit/commit/837609dd55162137ff7a177a8e293cb7a94f3980
---

diff --git a/docs/source/config/details.rst b/docs/source/config/details.rst
index 6685b14..9e63232 100644
--- a/docs/source/config/details.rst
+++ b/docs/source/config/details.rst
@@ -247,7 +247,7 @@ VI input mode to ``Normal`` when in insert mode::
 
 For more information on filters and what you can do with the ``event`` object,
 `see the prompt_toolkit docs
-<http://python-prompt-toolkit.readthedocs.io/en/latest/pages/building_prompts.html#adding-custom-key-bindings>`__.
+<https://python-prompt-toolkit.readthedocs.io/en/latest/pages/asking_for_input.html#adding-custom-key-bindings>`__.
 
 
 Enter to execute