From 407525b571b48cfd65e1ad7a02d250a927c967c9 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 1 Dec 2017 03:04:39 +0000 Subject: gentoo resync : 01.12.2017 --- dev-ml/core_kernel/metadata.xml | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'dev-ml/core_kernel/metadata.xml') diff --git a/dev-ml/core_kernel/metadata.xml b/dev-ml/core_kernel/metadata.xml index ac382ab214c8..ec7db9c9396f 100644 --- a/dev-ml/core_kernel/metadata.xml +++ b/dev-ml/core_kernel/metadata.xml @@ -1,19 +1,19 @@ - + - - ml@gentoo.org - Gentoo ML Project - - - Core_kernel is the system-independent part of Core. It is aimed for - cases when the full Core is not available, such as in Javascript. It - provides an overlay on the usual namespace, so the best way to use - Core is to start your file with: + + ml@gentoo.org + Gentoo ML Project + + + Core_kernel is the system-independent part of Core. It is aimed for + cases when the full Core is not available, such as in Javascript. It + provides an overlay on the usual namespace, so the best way to use + Core is to start your file with: - open Core_kernel.Std - - - janestreet/core_kernel - + open Core_kernel.Std + + + janestreet/core_kernel + -- cgit v1.2.3