Armin Schrenk 429098733c Improve the vault/mount name system: ...

* fix bug where the default name is not replaced by the actual folder name
* introduce new field in settings "mountName" as binding on displayName
* change volumes to use mountName instead of displayName

2020-08-11 11:19:54 +02:00

..

src

Improve the vault/mount name system:

2020-08-11 11:19:54 +02:00

pom.xml

Merge branch 'master' into develop

2020-04-16 13:05:34 +02:00