Fix $or
[factor/jcg.git] / unmaintained / cpu / 
tree07af78b25fc3175e66a23287609f5bd5f9d65e6a
drwxr-xr-x   ..
drwxr-xr-x - 8080