Bug#613980: Re Ninja-IDE
Hola David Paleino!
> Tonight I managed to update my local packaging repo -- I pushed everything on
> collab-maint/ninja-ide.git. I just uploaded it to NEW, I hope it will pass
> through -- I've been more careful this time, as I stripped embedded js
> libraries, fonts and whatever did not have a license.
Ok, great (sorry for the double mail, got one in each inbox :)
I assume that the collab-maint repo implies that I can give a hand with
unnecessary dependencies and the like, I hope it's ok.
Thanks again for your work