
21 Oct
2011
21 Oct
'11
1:02 p.m.
On Fri, Oct 21, 2011 at 6:47 PM, Fabio Riga
As for the diff file, don't you use anymore the git repository? I generated this patch using git, I hope this is ok. Using github would be easier for me to stay synced.
I'm on my way to upgrade the repository. (your patch was not rebased on the latest master but will manage). -- Nicolas Pouillard http://nicolaspouillard.fr