Fix $or
[factor/jcg.git] / extra / ui / gadgets / tiling / 
treef049c125112e4748c4886c3ecd00c0c36b064f49
drwxr-xr-x   ..
-rw-r--r-- 4949 tiling.factor