From 2471c06dc1e390ab4de2a38877495ed37af2a0d8 Mon Sep 17 00:00:00 2001
From: Gabriel Studer <gabriel.studer@unibas.ch>
Date: Thu, 16 Nov 2023 09:17:10 +0100
Subject: [PATCH] doc: update link to pylint

---
 doc/dev_setup.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/dev_setup.rst b/doc/dev_setup.rst
index 04d84507..4a2bb5e0 100644
--- a/doc/dev_setup.rst
+++ b/doc/dev_setup.rst
@@ -251,4 +251,4 @@ modules from there, use the binaries from :file:`stage/bin`, etc..
 
 
 .. |pylint| replace:: Pylint
-.. _pylint: https://www.pylint.org
+.. _pylint: https://pylint.readthedocs.io/en/stable/
-- 
GitLab