From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C58FF81799 for ; Tue, 23 Jul 2013 11:46:16 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of p.donadeo@gmail.com) identity=pra; client-ip=209.85.214.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of p.donadeo@gmail.com designates 209.85.214.169 as permitted sender) identity=mailfrom; client-ip=209.85.214.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f169.google.com) identity=helo; client-ip=209.85.214.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="postmaster@mail-ob0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0BAPJP7lHRVdapk2dsb2JhbABbhAuDCb0wgQoIFg4BAQEBBwsLCRQEJIIbCQEBBAEjHQEbHgMBCwYFAwEHNwICIgERAQUBHAYTh30BAwkGmwWMAE+Cf4RqChknDWSHdAEFDJAOgl2BIQOXXY9oFimEOjo X-IPAS-Result: Ap0BAPJP7lHRVdapk2dsb2JhbABbhAuDCb0wgQoIFg4BAQEBBwsLCRQEJIIbCQEBBAEjHQEbHgMBCwYFAwEHNwICIgERAQUBHAYTh30BAwkGmwWMAE+Cf4RqChknDWSHdAEFDJAOgl2BIQOXXY9oFimEOjo X-IronPort-AV: E=Sophos;i="4.89,726,1367964000"; d="scan'208";a="26991942" Received: from mail-ob0-f169.google.com ([209.85.214.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 11:46:16 +0200 Received: by mail-ob0-f169.google.com with SMTP id up14so9773331obb.14 for ; Tue, 23 Jul 2013 02:46:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=JYiH2inT65JIRbkjZTOFH13tNJ00m8sG5F25eCiJAlE=; b=s9AmNwMkyu1pT+6YV1dyfhOrr7LyjnoPdj72GwkliY51BMnBRaV81mX4xX/YQClFNX yOaADz6yDDHwTg95rZRByND+c0WPDyn0aeywA+LNcXxR5WOH01raQrXZ2mzuDUQHexMf mPbx8dZMULFe4n21qih6LXzGGedLWkSparJgyV58eOSxIFTBbt4YjCExFQIHf4U1uQi0 kL9Y+oqXvQSm3+S0NxrRTFD3qrcOO5W7dJqQs+vIFSoq+Nq/2J5n/za95zv+6/6bdMpp pCNNiF20pSvf+gIEsDiVIUUOM/t54NvD0cCtP6mBBX7ASyiJFG6fwdDJaDGCJrcgPyHY b88w== X-Received: by 10.60.15.98 with SMTP id w2mr25127240oec.92.1374572775236; Tue, 23 Jul 2013 02:46:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.76.6.135 with HTTP; Tue, 23 Jul 2013 02:45:35 -0700 (PDT) In-Reply-To: <1374569832.25411.1@samsung> References: <71283BB9-C314-490E-B9ED-B3638DB6914D@pulsschlag.net> <1374569832.25411.1@samsung> From: Paolo Donadeo Date: Tue, 23 Jul 2013 11:45:35 +0200 Message-ID: To: OCaml mailing list Content-Type: multipart/alternative; boundary=089e013a0a1efc6f0e04e22aa984 Subject: Re: [Caml-list] GODI is shutting down --089e013a0a1efc6f0e04e22aa984 Content-Type: text/plain; charset=UTF-8 On Tue, Jul 23, 2013 at 10:57 AM, Gerd Stolpmann wrote: > This is just misinformation, and no argument, because godi also installs > into a separate directory hierarchy. The equivalent is rm -Rf /opt/godi, if you had installed GODI there. -- *Paolo* --089e013a0a1efc6f0e04e22aa984 Content-Type: text/html; charset=UTF-8
On Tue, Jul 23, 2013 at 10:57 AM, Gerd Stolpmann <info@gerd-stolpmann.de> wrote:
This is just misinformation, and no argument, because godi also installs into a separate directory hierarchy.

The equivalent is rm -Rf /opt/godi, if you had installed GODI there.


--
Paolo
--089e013a0a1efc6f0e04e22aa984--