aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-10-14 15:24:43 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-10-14 15:24:43 +0200
commite85f61000c139492ec6497aa3c6206a66b54d783 (patch)
tree7b008b9c1e7a212f1b05502af00c5b75f7c1f013 /ChangeLog
parent6cfe5fbd827ca37f24134e8356e8144520ee1265 (diff)
Better handling of ambiguous names and "source"s
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog12
1 files changed, 12 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 2d1b1f9..735092e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,15 @@
+commit 6cfe5fbd827ca37f24134e8356e8144520ee1265
+Author: Johannes Ranke <jranke@uni-bremen.de>
+Date: 2016-10-13 17:28:14 +0200
+
+ Remove unmaintained usage
+
+commit 5a9a777987fd7ac0d5724e4cfdb2178fa1567281
+Author: Johannes Ranke <jranke@uni-bremen.de>
+Date: 2016-10-13 17:23:12 +0200
+
+ Commit changelog as test for mirroring on github
+
commit 291337e920cc95510fce3c0cdcc62b4443cd3bc4
Author: Johannes Ranke <jranke@uni-bremen.de>
Date: 2016-10-13 14:03:19 +0200

Contact - Imprint