No description

This repository has been archived on 2026-03-28. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

Johann Dreo 388358bc5c get rid of the useless temporary members and directly delete the adress of the referenced distrib		2012-07-18 11:43:59 +02:00
edo	get rid of the useless temporary members and directly delete the adress of the referenced distrib	2012-07-18 11:43:59 +02:00
eo	bugfix include missing header	2012-07-17 17:54:25 +02:00
website	EO & EDO docs	2011-09-12 14:39:34 +02:00
.gitignore	...	2010-07-05 20:31:30 +02:00
archive_current.sh	same name prefix for the source archive than for the packages	2011-05-17 15:59:57 +02:00