diff Scripts/lint-options.sh @ 1258:2d76a344c29e

python/python: fix build and manual pages
author David Demelier <markand@malikania.fr>
date Wed, 03 Nov 2021 06:42:05 +0100
parents 297b5eef115e
children 9867e578b1a9
line wrap: on
line diff