Sync information:
------------------
Synced from:	rsync://rsync.crux.nu/crux/
Last synced on:	Sun Jul  6 04:34:04 CEST 2008