tools/pkglint.sh
changeset 2145 bdf83a99948d
parent 1856 5cf0993ae969
child 5682 94c0ca64c022
equal deleted inserted replaced
2144:96440b7aa33e 2145:bdf83a99948d