diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html index dd201848b2c..0baedcb3c9d 100644 --- a/docs/DeveloperPolicy.html +++ b/docs/DeveloperPolicy.html @@ -192,6 +192,8 @@ svn diff