diff options
Diffstat (limited to 'dev-db')
4 files changed, 4 insertions, 4 deletions
diff --git a/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild b/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild index e2cde8285ed..997718fa9d3 100644 --- a/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild +++ b/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.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 diff --git a/dev-db/virtuoso-jdbc/virtuoso-jdbc-7.1.0.ebuild b/dev-db/virtuoso-jdbc/virtuoso-jdbc-7.1.0.ebuild index 1ee630fe931..5d909f4578a 100644 --- a/dev-db/virtuoso-jdbc/virtuoso-jdbc-7.1.0.ebuild +++ b/dev-db/virtuoso-jdbc/virtuoso-jdbc-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 diff --git a/dev-db/virtuoso-odbc/virtuoso-odbc-7.1.0.ebuild b/dev-db/virtuoso-odbc/virtuoso-odbc-7.1.0.ebuild index 0dce3faf029..c8ab59df2f8 100644 --- a/dev-db/virtuoso-odbc/virtuoso-odbc-7.1.0.ebuild +++ b/dev-db/virtuoso-odbc/virtuoso-odbc-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 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 |