Changed the loader to pull *.rkt files from zip containers.
[debian/openrocket] / core /
drwxr-xr-x   ..
-rw-r--r-- 1902 .classpath
-rw-r--r-- 369 .project
drwxr-xr-x - .settings
-rw-r--r-- 14937 ChangeLog
-rw-r--r-- 35983 LICENSE.TXT
-rw-r--r-- 818 README.TXT
-rw-r--r-- 4427 ReleaseNotes
-rw-r--r-- 3611 TODO
-rw-r--r-- 9511 build.xml
drwxr-xr-x - doc
-rw-r--r-- 1948 fileformat.txt
drwxr-xr-x - lib-extra
drwxr-xr-x - lib-test
drwxr-xr-x - lib
-rw-r--r-- 1386 releasing.txt
drwxr-xr-x - resources-src
drwxr-xr-x - resources
-rwxr-xr-x 454 run.sh
drwxr-xr-x - scripts
drwxr-xr-x - src-extra
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - web