Removed obsolete panel option
treed85fa35ede1cd93a21e5a0f32c8f2f740563383b
-rw-r--r-- 69 .gitignore
-rw-r--r-- 111 0compile.properties
drwxr-xr-x - Choices
-rw-r--r-- 1332 README
-rw-r--r-- 3247 README-es
-rw-r--r-- 2792 ROX-Filer.xml
drwxr-xr-x - ROX-Filer
-rw-r--r-- 186 rox.xml