On Tue, Jul 22, 2008 at 07:36:43PM +0200, Filippo Giunchedi wrote: > The weekly update period is rather arbitrary, can be switched to daily > effortlessly.
There's now a script subscribed to d-d-changes so the updates should be live and pushed rather than pulled. I'm welcoming Luca's idea to push other export formats after UDD filippo -- Filippo Giunchedi - http://esaurito.net PGP key: 0x6B79D401 random quote follows: God may not play dice with the universe, but something strange is going on with the prime numbers. -- Paul Erdos -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
