diff Scripts/lint-options.sh @ 966:a42415781c73

kde/kconfigwidgets: initial import, closes #1796
author David Demelier <markand@malikania.fr>
date Tue, 27 Aug 2019 21:25:00 +0200
parents 034a2a62a9f8
children ddab65a5b3f5
line wrap: on
line diff