Merge branch 'refs/heads/t/dbdir-fix'
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 14 Sep 2016 11:16:27 +0000 (13:16 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 14 Sep 2016 11:16:27 +0000 (13:16 +0200)
commitb8679a529d886ffa55425db30aa02adf1904b88f
tree847598718f880bfdb1b2197eb10f8648e2d65ef8
parent66748e15aff805c9d8c5016a74fc51d1e7ef6fe1
parenta830359f7afc8e98a2266ea023061efd6ad081a5
Merge branch 'refs/heads/t/dbdir-fix'

The topic branch started on 2016-06-02 and was cooking since
2016-06-24. It contains a single fix.

* refs/heads/t/dbdir-fix:
  Abort if neither --database-dir nor --base-dir is given.