[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] remove obsolete scripts
|
From: |
Christian Kellermann |
|
Subject: |
Re: [Chicken-hackers] [PATCH] remove obsolete scripts |
|
Date: |
Tue, 29 Nov 2011 09:31:12 +0100 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
* felix winkelmann <address@hidden> [111129 08:13]:
> The attached patch removes some scripts from the core repo that
> don't belong in there, or which are obsolete. Non-core extensions
> are not required anymore (with the exception of the manual->HTML
> generation).
Pushed.
Thanks!
Christian
--
Who can (make) the muddy water (clear)? Let it be still, and it will
gradually become clear. Who can secure the condition of rest? Let
movement go on, and the condition of rest will gradually arise.
-- Lao Tse.