tree f2fcb822793327d740b4c247e3dd9a36123f4dcc
parent 77c143bdb7226d77492a6f15c15c11ce9314a2fa
author pjo <pjo@google.com> 1390857698 +0000
committer pjo <pjo@google.com> 1390857698 +0000

Edited wiki page DevelopmentProperties through web user interface.