diff options
author | 2015-08-17 08:53:12 +0200 | |
---|---|---|
committer | 2015-08-17 08:53:12 +0200 | |
commit | 6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565 (patch) | |
tree | 588afe768ce5dabbbeac204a6f8f71b69ed09743 /dev-java/jeuclid-core/ChangeLog | |
parent | Merge remote-tracking branch 'github/master' (diff) | |
download | sci-6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565.tar.gz sci-6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565.tar.bz2 sci-6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565.zip |
Convert all $Header$ to $Id$ tags as it has be done in gentoo.git
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'dev-java/jeuclid-core/ChangeLog')
-rw-r--r-- | dev-java/jeuclid-core/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-java/jeuclid-core/ChangeLog b/dev-java/jeuclid-core/ChangeLog index c2bbb1883..5d02765d6 100644 --- a/dev-java/jeuclid-core/ChangeLog +++ b/dev-java/jeuclid-core/ChangeLog @@ -1,6 +1,6 @@ # ChangeLog for dev-java/jeuclid-core # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: $ +# $Id$ 09 Aug 2015; Marius Brehler <marbre@linux.sungazer.de> jeuclid-core-3.1.9-r1.ebuild: |