diff options
| author | Robert Dewar <dewar@gnat.com> | 2001-10-12 00:46:56 +0000 |
|---|---|---|
| committer | Geert Bosch <bosch@gcc.gnu.org> | 2001-10-12 02:46:56 +0200 |
| commit | 9a5621d73cab1e74d8be70401357d9ac443e70e7 (patch) | |
| tree | 825d30076a5df9ac747f93106998bfc27df3cf33 /libjava | |
| parent | bcb913fb9796b760eaee86cd2b5175392b022f6c (diff) | |
| download | gcc-9a5621d73cab1e74d8be70401357d9ac443e70e7.zip gcc-9a5621d73cab1e74d8be70401357d9ac443e70e7.tar.gz gcc-9a5621d73cab1e74d8be70401357d9ac443e70e7.tar.bz2 | |
usage.adb: Add lines for V switch.
* usage.adb: Add lines for V switch.
* gnatcmd.adb (COMPILE): Revise translations for -gnatV
(/VALIDITY_CHECKING).
From-SVN: r46219
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions