]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Merge branch 'refs/heads/t/mountpoint'
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 15 Nov 2017 18:09:06 +0000 (19:09 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 15 Nov 2017 18:09:53 +0000 (19:09 +0100)
A new main option which aborts dss if the destination file system is
not mounted.

Cooking for two weeks.

* refs/heads/t/mountpoint:
  New option: --mountpoint.


No differences found