summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrice Clement <monsieurp@gentoo.org>2015-08-12 00:40:24 +0000
committerPatrice Clement <monsieurp@gentoo.org>2015-08-12 00:40:24 +0000
commitd0291582b6614d68e28255866587d043445dcb42 (patch)
tree3784c6e0d9cb94953f86c403021c0a83716712d0 /dev-lang
parentwww-plugins/chrome-binary-plugins: automated update (diff)
downloadgentoo-d0291582b6614d68e28255866587d043445dcb42.tar.gz
gentoo-d0291582b6614d68e28255866587d043445dcb42.tar.bz2
gentoo-d0291582b6614d68e28255866587d043445dcb42.zip
cosmetic: set up new $Id$ header in lieu of former CVS $Header$ header. These ebuilds are mainly leftovers from the migration.
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/fsharp/fsharp-3.1.1.31.ebuild2
-rw-r--r--dev-lang/fsharp/fsharp-4.0.0.3.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/fsharp/fsharp-3.1.1.31.ebuild b/dev-lang/fsharp/fsharp-3.1.1.31.ebuild
index ef53ae40ae9a..abf2ccac2458 100644
--- a/dev-lang/fsharp/fsharp-3.1.1.31.ebuild
+++ b/dev-lang/fsharp/fsharp-3.1.1.31.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-lang/fsharp/fsharp-4.0.0.3.ebuild b/dev-lang/fsharp/fsharp-4.0.0.3.ebuild
index ef53ae40ae9a..abf2ccac2458 100644
--- a/dev-lang/fsharp/fsharp-4.0.0.3.ebuild
+++ b/dev-lang/fsharp/fsharp-4.0.0.3.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