diff options
Diffstat (limited to 'dev-db/virtuoso-server/virtuoso-server-7.1.0.ebuild')
| -rw-r--r-- | dev-db/virtuoso-server/virtuoso-server-7.1.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-db/virtuoso-server/virtuoso-server-7.1.0.ebuild b/dev-db/virtuoso-server/virtuoso-server-7.1.0.ebuild index b61205396bc..b5344777d98 100644 --- a/dev-db/virtuoso-server/virtuoso-server-7.1.0.ebuild +++ b/dev-db/virtuoso-server/virtuoso-server-7.1.0.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: $ +# $Id$ EAPI=5 |