Clean up some duplication
[factor/jcg.git] / extra / ui / offscreen / 
treed8438f099d0c44eb9c49d811e4bc504bc5504333
drwxr-xr-x   ..
-rw-r--r-- 10 authors.txt
-rw-r--r-- 2506 offscreen-docs.factor
-rwxr-xr-x 988 offscreen.factor
-rw-r--r-- 61 summary.txt
-rw-r--r-- 23 tags.txt