Correct PR numbers
[official-gcc.git] / maintainer-scripts / 
tree9d52c6b4327ec2fb0a5118e2264426a6cbc63b88
drwxr-xr-x   ..
-rw-r--r-- 19183 ChangeLog
-rw-r--r-- 353 README
-rw-r--r-- 504 crontab
-rw-r--r-- 12 doc_exclude
-rwxr-xr-x 25064 gcc_release
-rwxr-xr-x 730 maintainer-addresses
-rwxr-xr-x 2421 update_version
-rwxr-xr-x 4151 update_web_docs
-rwxr-xr-x 1575 update_web_docs_libstdcxx
-rwxr-xr-x 3754 update_web_docs_old