From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org)
	by finch.gentoo.org with esmtp (Exim 4.60)
	(envelope-from <gentoo-commits+bounces-424777-garchives=archives.gentoo.org@lists.gentoo.org>)
	id 1RuxHU-00082V-QU
	for garchives@archives.gentoo.org; Wed, 08 Feb 2012 02:29:13 +0000
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
	by pigeon.gentoo.org (Postfix) with SMTP id 93ECAE07F2;
	Wed,  8 Feb 2012 02:29:04 +0000 (UTC)
Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183])
	by pigeon.gentoo.org (Postfix) with ESMTP id 5A4A2E07F2
	for <gentoo-commits@lists.gentoo.org>; Wed,  8 Feb 2012 02:29:04 +0000 (UTC)
Received: from flycatcher.gentoo.org (flycatcher.gentoo.org [81.93.255.6])
	(using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by smtp.gentoo.org (Postfix) with ESMTPS id BC8E41B4032
	for <gentoo-commits@lists.gentoo.org>; Wed,  8 Feb 2012 02:29:03 +0000 (UTC)
Received: by flycatcher.gentoo.org (Postfix, from userid 544)
	id 8E3C32004E; Wed,  8 Feb 2012 02:29:02 +0000 (UTC)
From: "Robin H. Johnson (robbat2)" <robbat2@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Reply-To: gentoo-dev@lists.gentoo.org, robbat2@gentoo.org
Subject: [gentoo-commits] gentoo commit in xml/htdocs/proj/en/overlays: layman-global.txt
X-VCS-Repository: gentoo
X-VCS-Files: layman-global.txt
X-VCS-Directories: xml/htdocs/proj/en/overlays
X-VCS-Committer: robbat2
X-VCS-Committer-Name: Robin H. Johnson
Content-Type: text/plain; charset=utf8
Message-Id: <20120208022902.8E3C32004E@flycatcher.gentoo.org>
Date: Wed,  8 Feb 2012 02:29:02 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: quoted-printable
X-Archives-Salt: f5bded62-13bc-4fc6-bc5e-50d7f0f0e577
X-Archives-Hash: db29581be4439029af96c993465e01ae

robbat2     12/02/08 02:29:02

  Modified:             layman-global.txt
  Log:
  Automated update of layman-global.txt

Revision  Changes    Path
1.570                xml/htdocs/proj/en/overlays/layman-global.txt

file : http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/proj/en/ove=
rlays/layman-global.txt?rev=3D1.570&view=3Dmarkup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/proj/en/ove=
rlays/layman-global.txt?rev=3D1.570&content-type=3Dtext/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/proj/en/ove=
rlays/layman-global.txt?r1=3D1.569&r2=3D1.570

Index: layman-global.txt
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
RCS file: /var/cvsroot/gentoo/xml/htdocs/proj/en/overlays/layman-global.t=
xt,v
retrieving revision 1.569
retrieving revision 1.570
diff -p -w -b -B -u -u -r1.569 -r1.570
--- layman-global.txt	3 Feb 2012 14:29:02 -0000	1.569
+++ layman-global.txt	8 Feb 2012 02:29:02 -0000	1.570
@@ -1,5 +1,5 @@
 <?xml version=3D"1.0" encoding=3D"UTF-8"?>
-<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/proj/en/overlays/layman-glo=
bal.txt,v 1.569 2012/02/03 14:29:02 robbat2 Exp $ -->
+<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/proj/en/overlays/layman-glo=
bal.txt,v 1.570 2012/02/08 02:29:02 robbat2 Exp $ -->
 <layman>
   <overlay contact=3D"a3li@gentoo.org" name=3D"a3li" src=3D"git://github=
.com/a3li/a3li-overlay.git" status=3D"official" type=3D"git">
     <!--THIS FILE IS GENERATED, PLEASE EDIT repositories.xml INSTEAD.-->
@@ -249,6 +249,11 @@
     <link>https://github.com/yermandu/dauleet</link>
     <description>Overlay of yermandu</description>
   </overlay>
+  <overlay contact=3D"dawan@melix.net" name=3D"dawan" src=3D"git://git.o=
verlays.gentoo.org/user/dawan.git" status=3D"unofficial" type=3D"git">
+    <!--THIS FILE IS GENERATED, PLEASE EDIT repositories.xml INSTEAD.-->
+    <link>http://git.overlays.gentoo.org/gitweb/?p=3Duser/dawan.git;a=3D=
summary</link>
+    <description>OCaml and proof-search related ebuilds</description>
+  </overlay>
   <overlay contact=3D"dberkholz@gentoo.org" name=3D"dberkholz" src=3D"gi=
t://git.overlays.gentoo.org/dev/dberkholz" status=3D"unofficial" type=3D"=
git">
     <!--THIS FILE IS GENERATED, PLEASE EDIT repositories.xml INSTEAD.-->
     <link>http://dev.gentoo.org/~dberkholz/overlay/</link>