Fix PR number in ChangeLogs.
[official-gcc.git] / libada / 
treecaa9b679ba7aefee4fd70afa636b34bd9111d2f7
drwxr-xr-x   ..
-rw-r--r-- 9434 ChangeLog
-rw-r--r-- 5248 Makefile.in
-rwxr-xr-x 120726 configure
-rw-r--r-- 4486 configure.ac