tree 436a698ed9181cc061395212db65d0878f8c7bc2
parent c078e9af497bacfc5527238f69640e2c64fc57e0
author pjo <pjo@google.com> 1390857487 +0000
committer pjo <pjo@google.com> 1390857487 +0000

Edited wiki page DevelopmentProperties through web user interface.