From 4bc070948cac1aad9533a516e061fc654280a2b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dani=C3=ABl=20van=20Eeden?= Date: Mon, 9 Sep 2019 12:53:45 +0200 Subject: [PATCH] Add http:// in front of the url. In many cases this makes it clickable (Tested with gnome-terminal) --- mypy/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mypy/main.py b/mypy/main.py index 2dd2a064594f..c8029c67a7ab 100644 --- a/mypy/main.py +++ b/mypy/main.py @@ -447,7 +447,7 @@ def add_invertible_flag(flag: str, title='None and Optional handling', description="Adjust how values of type 'None' are handled. For more context on " "how mypy handles values of type 'None', see: " - "mypy.readthedocs.io/en/latest/kinds_of_types.html#no-strict-optional") + "http://mypy.readthedocs.io/en/latest/kinds_of_types.html#no-strict-optional") add_invertible_flag('--no-implicit-optional', default=False, strict_flag=True, help="Don't assume arguments with default values of None are Optional", group=none_group)