diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-12-12 21:24:24 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-12-12 21:24:24 +0100 |
| commit | e51e063564bffcb75dbb6ab7a364704c8d8e992e (patch) | |
| tree | 971e30cab2ceb7a85e9fbe8957527a8c851cbd91 /ChangeLog | |
| parent | 9124e0f7d673c65584c1b2f838a3b944ea89c31d (diff) | |
Fix reading .out for acronyms containing numbers
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 |