Add “options” menu with “preferences” item.
[jSite.git] / src / de /
drwxr-xr-x   ..
drwxr-xr-x - todesbaum