commit 821d4fb0466349c117cd912b7087faf8b3dd6672 parent 593d17c85181500ebad7f08225e8f4ce7a2b4c9c Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 3 Feb 2016 18:51:47 +0100 use https Diffstat:
| buildtrie_list.py | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildtrie_list.py b/buildtrie_list.py @@ -4,7 +4,7 @@ representing this mapping""" # this modified version is used by plint -# see http://a3nm.net/git/plint +# see https://a3nm.net/git/plint import buildtrie import json