Armin Schrenk bbe1ef3dbc Feature/custom mount point generalizing (#797) ...

* changing naming of individual mout path property

* adding input/output for the new custom mount points

* ui integration of custom mount point

* removing unused variable

* Improving UX

* Simplify mountPathProperty and implement its usage

* reverting renaming of Properties concerning the usage of own mount point (rescheduled for 1.5.0)

* changing displayed message when no mount path given

* fixing ui error

* applying suggestion of comment 7338fda418 (r248254180)

2019-01-16 15:08:00 +01:00

..

ant-kit

bumped version

2018-11-05 10:46:39 +01:00

commons

Feature/custom mount point generalizing (#797)

2019-01-16 15:08:00 +01:00

keychain

bumped version

2018-11-05 10:46:39 +01:00

launcher

bumped version

2018-11-05 10:46:39 +01:00

uber-jar

bumped version

2018-11-05 10:46:39 +01:00

ui

Feature/custom mount point generalizing (#797)

2019-01-16 15:08:00 +01:00

pom.xml

updated dagger [ci skip]

2019-01-15 13:07:39 +01:00