From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 14 Sep 2016 11:16:27 +0000 (+0200)
Subject: Merge branch 'refs/heads/t/dbdir-fix'
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=b8679a529d886ffa55425db30aa02adf1904b88f;p=adu.git

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.
---

b8679a529d886ffa55425db30aa02adf1904b88f