tree ed739015918f6a7a29d73fa2156cf1d70b72d3f1
parent 447bf84d2454ac28ac26d70feea8139ed986c321
author Michael Jurka <mikejurka@google.com> 1368555478 +0200
committer Michael Jurka <mikejurka@google.com> 1369052010 +0200

Persist list of shortcuts to install on home workspace

Bug: 8707110

Change-Id: I6740350040dceb0edaf4295d6a5af62a088a3055