Helmut K. C. Tessarek 7fc233e808 Desktop: change shortcuts for 'Print' and 'Goto Anything' (#1420) ... Print Command/Control + P Goto Anything Command/Control + G closes #1413		2019-04-20 12:02:43 +01:00
..
app	Desktop: change shortcuts for 'Print' and 'Goto Anything' (#1420)	2019-04-20 12:02:43 +01:00
.gitignore	Clean up	2019-04-02 00:12:38 +01:00
build.sh	All: Made model naming more consistent	2017-12-14 18:12:14 +00:00
run-prod.sh	fix permissions for shell scripts (add executable flag) (#866)	2018-10-09 22:58:18 +01:00
run.sh	All: Minor tweaks regarding encryption	2017-12-04 19:29:34 +00:00