Properties file is used in preference to viewport/cache/preferences replicating defaults
[jalview.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 1652 building.html