Marco Pesenti Gritti 2a197bb8b8 Merge branch 'master' of git+ssh://dev.laptop.org/git/sugar		2007-09-26 10:09:55 +02:00
..
console	Devconsole: Makefile updates	2007-09-20 12:04:05 -04:00
shell	Merge branch 'master' of git+ssh://dev.laptop.org/git/sugar	2007-09-26 10:09:55 +02:00
Makefile.am	Rename the clipboard service as shell service.	2007-08-08 18:33:10 +02:00