git trees moved

Richard Hughes hughsient at gmail.com
Wed Aug 13 00:11:58 PDT 2008


On Tue, 2008-08-12 at 13:14 -0400, David Zeuthen wrote:
> > The name is DeviceKit, not devicekit. This needs to be fixed.
> 
> This is now done.

Cool, thanks. If you've checked out the projects, the easiest way is to
just change all instances of devicekit to DeviceKit in .git/config and
then just push and pull as normal.

Richard.




More information about the devkit-devel mailing list