tools/python/pkglint/userland.py
branchs11-update
changeset 2425 ef005fd07371
parent 623 15f87c23a86e
child 1020 4740049105f5
child 2528 788328aeec2a
equal deleted inserted replaced
2424:4dacf13d67f7 2425:ef005fd07371