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.

Benjamin Bouvier 606eef08d8 Difference between termination messages Kill (stops the worker) and Terminate (waits for another task).		2012-07-10 14:48:46 +02:00
edo	Merge branch 'master' of ssh://eodev.git.sourceforge.net/gitroot/eodev/eodev	2012-03-06 21:56:15 +01:00
eo	Difference between termination messages Kill (stops the worker) and Terminate (waits for another task).	2012-07-10 14:48:46 +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