Peter Clifton wrote: > Yes - I got a message from DJ saying it has knocked his power and > internet down. (The server lives in DJ's basement). > Time for a mirror server on a different continent?
I got used to rely on the presence of gedasymbols.org. I use it as a hinge to distribute my geda lib to my various desktops. And of course lately for work on the essential lib. Git would be handy in this situation. With git everyone would have all information locally, including history and branches. We could just set up an interim repository and update the on at DJ when it is up again. ---<)kaimartin(>--- -- Kai-Martin Knaak Email: k...@familieknaak.de http://pool.sks-keyservers.net:11371/pks/lookup?search=0x6C0B9F53 increasingly unhappy with moderation of geda-user _______________________________________________ geda-user mailing list geda-user@moria.seul.org http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
