darthpaul 69ccd6532b fix shortcut opening wrong tab ...

- ensure first (files) tab is selected when opened from shortcut

2022-10-11 06:56:36 +01:00

..

src

fix shortcut opening wrong tab

2022-10-11 06:56:36 +01:00

.gitignore

initial commit

2016-07-12 22:07:49 +02:00

build.gradle

update version to 6.14.2

2022-10-10 23:39:03 +02:00

proguard-rules.pro

removing shockwave from proguard exceptions

2022-05-18 15:49:32 +02:00