jalopy is used for sourcescrub target of build.xml (sourcescrub is not
[jalview.git] / utils / jalopy / bin /
drwxr-xr-x   ..
-rwxr-xr-x 208 lcp.bat
-rwxr-xr-x 1486 preferences.bat
-rwxr-xr-x 1240 preferences.sh