diff options
| author |   Sven Wegener <swegener@gentoo.org> | 2004-12-28 20:21:40 +0000 |
|---|---|---|
| committer | Sven Wegener <swegener@gentoo.org> | 2004-12-28 20:21:40 +0000 |
| commit | d81ed8aab5e4d0cfaba8b1060a3ef0f256d9b439 (patch) | |
| tree | 3ca3332cc88e812b251af70d29f23741dc2d9d31 /sci-mathematics/coq | |
| parent | Fixing dependency (diff) | |
| download | historical-d81ed8aab5e4d0cfaba8b1060a3ef0f256d9b439.tar.gz historical-d81ed8aab5e4d0cfaba8b1060a3ef0f256d9b439.tar.bz2 historical-d81ed8aab5e4d0cfaba8b1060a3ef0f256d9b439.zip | |
Fixed ChangeLog header.
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 595cc2abfa78..996bf871a984 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,6 @@ -# ChangeLog for app-sci/coq +# ChangeLog for sci-mathematics/coq # Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.1 2004/12/28 05:03:02 ribosome Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.2 2004/12/28 20:04:43 swegener Exp $ *coq-8.0-r1 (28 Dec 2004) |