Closed GoogleCodeExporter closed 9 years ago
This is an excellent idea. I will post something about this on the mailing
list.
Original comment by andre.ro...@gmail.com
on 11 Jul 2008 at 10:42
This has been completed by Tao and is now incorporated in the trunk.
Original comment by andre.ro...@gmail.com
on 27 Sep 2008 at 8:27
Original issue reported on code.google.com by
Filia....@gmail.com
on 11 Jul 2008 at 3:11