tree e67dc0aa74808fd79446c5cc97f14e6fc0d64095
parent 6b916174ee1a2fe2faef56bc97cb1a0668af5698
author pjo <pjo@google.com> 1390857885 +0000
committer pjo <pjo@google.com> 1390857885 +0000

Edited wiki page DevelopmentProperties through web user interface.