summaryrefslogtreecommitdiff
path: root/debian/bin
ModeNameSize
-rwxr-xr-xdafny77logplain