Bugfix: A missing flush() meant that reading from stdin didn't always work.
treea2d2d2067f77d86a7c53357f3fad6682fa793fce
-rw-r--r-- 1510 .DirIcon
-rw-r--r-- 420 AppInfo.xml
-rwxr-xr-x 723 AppRun
drwxr-xr-x - Help
-rw-r--r-- 3291 box.py
-rw-r--r-- 1616 findrox.py
-rw-r--r-- 6913 formats.py
-rw-r--r-- 5524 support.py