tools/pkglint.sh
changeset 1247 6b8e3d1edadd
parent 1188 d563dccb5adb
child 1856 5cf0993ae969
equal deleted inserted replaced
1246:164605dfef4e 1247:6b8e3d1edadd