Move size-of to unmaintained until help-lint is fixed
[factor/jcg.git] / unmaintained / ce / privileges / 
tree8931037363be66538c33d9edff5f5d0ca4f50fe3
drwxr-xr-x   ..
-rwxr-xr-x 103 privileges.factor