Move size-of to unmaintained until help-lint is fixed
[factor/jcg.git] / unmaintained / arm / allot / 
tree5f6a7c160b87beda8d7a3b8afd37bc4b2a6c9985
drwxr-xr-x   ..
-rwxr-xr-x 2389 allot.factor
-rwxr-xr-x 13 authors.txt