diff options
Diffstat (limited to 'sci-mathematics/gappalib-coq/ChangeLog')
-rw-r--r-- | sci-mathematics/gappalib-coq/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog index cc48c6cc7..6b9d555b4 100644 --- a/sci-mathematics/gappalib-coq/ChangeLog +++ b/sci-mathematics/gappalib-coq/ChangeLog @@ -1,6 +1,6 @@ # ChangeLog for sci-mathematics/gappalib-coq # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: $ +# $Id$ 16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> gappalib-coq-1.0.0.ebuild: remove last line |