6664b297e6b3811b767a072649f0255b90f401ec		branch 'master' of git+ssh://dev.laptop.org/git/projects/etoys
