[Ada] Skip code not in SPARK for ownership analysis
[official-gcc.git] / maintainer-scripts / 
tree0cb774ce89c4f5e2e19e3d55936613b54e3882b2
drwxr-xr-x   ..
-rw-r--r-- 36476 ChangeLog
-rw-r--r-- 364 README
-rwxr-xr-x 8780 branch_changer.py
-rwxr-xr-x 4643 bugzilla-close-candidate.py
-rw-r--r-- 632 crontab
-rwxr-xr-x 23337 gcc_release
-rwxr-xr-x 1891 generate_libstdcxx_web_docs
-rwxr-xr-x 1170 maintainer-addresses
-rwxr-xr-x 2104 update_version_svn
-rwxr-xr-x 1394 update_web_docs_libstdcxx_svn
-rwxr-xr-x 7160 update_web_docs_svn