Andrea,
Yes, you can update the wiki directly. Thanks for helping out.
Jun
On Sun, May 5, 2013 at 1:17 AM, Andrea Gazzarini wrote:
> Thanks Jun,
> I'm trying to setup a fresh dev environment and I met some problems.
>
> Now, while I was changing the wiki page (Developer Setup) I inadvertently
Thanks Jun,
I'm trying to setup a fresh dev environment and I met some problems.
Now, while I was changing the wiki page (Developer Setup) I
inadvertently saved the page, sending the notification about the
changes, sorry about that.
I believe the change I made is right (I changed just the lin