-
Joseph Myers authored
* update_web_docs: Also remove old .gz files from subdirectories on the 15th of the month. From-SVN: r81773
Joseph Myers authored* update_web_docs: Also remove old .gz files from subdirectories on the 15th of the month. From-SVN: r81773