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.

nojhan 334f8c8da0 pick updated news from the 1.2.0 branch and prepare the next version		2011-05-17 16:10:37 +02:00
edo	* whitespace cleanup	2011-05-05 17:15:10 +02:00
eo	pick updated news from the 1.2.0 branch and prepare the next version	2011-05-17 16:10:37 +02:00
website	remove the ML warning ; add a download button	2011-05-11 21:59:29 +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