Sat, 12 May 2007 22:42:51 +0200 etisserant CleanUp and minor fixes
Fri, 11 May 2007 18:34:54 +0200 etisserant Let user choose his own XENO_CONFIG.
Fri, 11 May 2007 18:34:26 +0200 etisserant Fix can_socket again.