diff options
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -1,3 +1,15 @@ +commit 9124e0f7d673c65584c1b2f838a3b944ea89c31d +Author: Johannes Ranke <jranke@uni-bremen.de> +Date: 2016-10-13 17:49:18 +0200 + + Add drat target, remove unmaintained usage hints + +commit 12a31f4c130c551f82232d9ef7dfb608bd52c53f +Author: Johannes Ranke <jranke@uni-bremen.de> +Date: 2016-09-27 23:00:48 +0200 + + Reorganise repository using standard package layout + commit 0d958ab6f84b569b5437f231c56004890c4ae23b Author: Johannes Ranke <jranke@uni-bremen.de> Date: 2016-09-27 17:50:34 +0200 |