tree 905751d8505ef012c90abdce58d207cd8f992dd0
parent 428041fd8174e986807897871fc6a41010f34000
author pjo <pjo@google.com> 1390857315 +0000
committer pjo <pjo@google.com> 1390857315 +0000

Edited wiki page DevelopmentProperties through web user interface.