]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #18475 from LabNConsulting/chopps/pylint
authorDonatas Abraitis <donatas@opensourcerouting.org>
Mon, 24 Mar 2025 12:03:17 +0000 (14:03 +0200)
committerGitHub <noreply@github.com>
Mon, 24 Mar 2025 12:03:17 +0000 (14:03 +0200)
tests: add another directory to search path for pylint


Trivial merge