]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8d8579) | patch
* update_web_docs_svn: Remove unnecessary files from source tree.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 16 Dec 2005 23:59:10 +0000 (23:59 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 16 Dec 2005 23:59:10 +0000 (23:59 +0000)
commitb6fd6af028aa16487d071c6caf8f9801e06c42b7
treeaed69468a1202ef3a63bdc9c8af4a0c4392167b7tree | snapshot
parentd8d8579c26627a2739c38188896f13a2d9bf4144commit | diff
* update_web_docs_svn: Remove unnecessary files from source tree.
Use set -e.
* doc_exclude, update_web_docs, update_web_docs_libstdcxx: Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108698 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog diff | blob | blame | history
maintainer-scripts/doc_exclude [deleted file] blob | blame | history
maintainer-scripts/update_web_docs [deleted file] blob | blame | history
maintainer-scripts/update_web_docs_libstdcxx [deleted file] blob | blame | history
maintainer-scripts/update_web_docs_svn diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git