diff sbin/check-ports @ 335:ed0975c76386

Ignore also the Python venv to build and test the documentation
author Franz Glasner <hg@dom66.de>
date Fri, 02 Dec 2022 12:53:25 +0100
parents 59a334dc9b53
children 9b388927b12b
line wrap: on
line diff