Sorry for the late reply, I've been busy with some other stuff. I'll try to send you the github pull request (note: I'm new to github).
Dominique Op 18 februari 2012 08:57 heeft Jens Petersen <juhpeter...@gmail.com> het volgende geschreven: > On 28 December 2011 00:55, Dominique Devriese > <dominique.devri...@gmail.com> wrote: >> 2011/12/27 Jean-Philippe Bernardy <berna...@chalmers.se>: >>>> http://people.cs.kuleuven.be/dominique.devriese/yi.git > > Dominique, is it possible you could submit the patch as a pull request > through github? -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel