projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2820430) | patch
update_web_docs: Also remove old .gz files from subdirectories on the 15th of the...
authorJoseph Myers <jsm@polyomino.org.uk>
Thu, 13 May 2004 10:30:28 +0000 (11:30 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Thu, 13 May 2004 10:30:28 +0000 (11:30 +0100)
commit61995575da257d7062c0d72dd1b9233d0867e7f1
treed93f6c2c0247d844fe5c9acb07c067ae267fbed3tree
parent282043099be7da9af2aa7d3d4fcf3ff33a3ed788commit | diff
update_web_docs: Also remove old .gz files from subdirectories on the 15th of the month.

* update_web_docs: Also remove old .gz files from subdirectories
on the 15th of the month.

From-SVN: r81773
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs diff | blob | history