From mint-bounce@lists.fishpool.fi  Thu Aug 13 06:06:05 2009
X-Virus-Scanned: amavisd-new at demon.co.uk
Subject: Re: [MiNT] qed
From: Alan Hourihane <alanh@fairlite.co.uk>
To: Miro Kropacek <miro.kropacek@gmail.com>
Cc: Peter Persson <pep.fishmoose@gmail.com>,
        "[MiNT] Mailing-List" <mint@fishpool.com>
In-Reply-To: <c6533ef60908130253k2250c643wde3c1b602ae70b20@mail.gmail.com>
References: <C6A94E75.17BE8%atari@bright.net>
	 <CE79A634-ABB0-4617-9E60-74B8C1AA1F36@gmail.com>
	 <c6533ef60908130240q3a510360p91714f53e41b8e88@mail.gmail.com>
	 <1250157029.5245.2.camel@server.demon.co.uk>
	 <c6533ef60908130253k2250c643wde3c1b602ae70b20@mail.gmail.com>
Content-Type: text/plain
Date: Thu, 13 Aug 2009 11:03:45 +0100
Message-Id: <1250157825.5245.4.camel@server.demon.co.uk>
Mime-Version: 1.0
X-Mailer: Evolution 2.24.5 
Content-Transfer-Encoding: 7bit
X-ecartis-version: Ecartis v1.0.0
Sender: mint-bounce@lists.fishpool.fi
Errors-to: mint-bounce@lists.fishpool.fi
X-original-sender: alanh@fairlite.co.uk
Precedence: bulk
List-help: <mailto:ecartis@lists.fishpool.fi?Subject=help>
List-unsubscribe: <mailto:mint-request@lists.fishpool.fi?Subject=unsubscribe>
List-Id: <mint.lists.fishpool.fi>
X-List-ID: <mint.lists.fishpool.fi>
List-subscribe: <mailto:mint-request@lists.fishpool.fi?Subject=subscribe>
List-owner: <mailto:tjhukkan@fishpool.fi>
List-post: <mailto:mint@lists.fishpool.fi>

On Thu, 2009-08-13 at 11:53 +0200, Miro Kropacek wrote:
>         Is QED available in CVS anywhere now as it mentions getting
>         updated
>         source with CVS/GCC on the homepage ?
> Yes, it's available in the same CVSROOT as freemint, mintlib, lib etc
> -- under name "qed".

Ah, nice.

Alan.