tree f39dfdbfb97147cbf83182eba1299857a10db797
parent 815f74a759c56f6bbd75818a6ae6d7f7d4672e3a
parent 16fad42007a7abbc3a1b5727e49c3aad1d8edb97
author Tom Cherry <tomcherry@google.com> 1504121418 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1504121418 +0000

Merge "use a single file for storing persistent properties"