* update_web_docs: Also remove old .gz files from subdirectories
on the 15th of the month. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81773 138bc75d-0d04-0410-961f-82ee72b054a4
Loading
Please register or sign in to comment
on the 15th of the month. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81773 138bc75d-0d04-0410-961f-82ee72b054a4