[Ada] Issue info message on inlined subprograms in GNATprove mode
[gcc.git] / INSTALL /
drwxr-xr-x   ..
-rw-r--r-- 333 README