]> git.tue.mpg.de Git - adu.git/commitdiff
Merge branch 'refs/heads/t/dbdir-fix' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 11:02:34 +0000 (13:02 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 11:02:34 +0000 (13:02 +0200)
* refs/heads/t/dbdir-fix:
  Abort if neither --database-dir nor --base-dir is given.


Trivial merge