diff options
| author | Robert Dewar <dewar@gnat.com> | 2001-10-25 23:53:04 +0000 |
|---|---|---|
| committer | Geert Bosch <bosch@gcc.gnu.org> | 2001-10-26 01:53:04 +0200 |
| commit | e12fbc9e0fd83631bf8258404ecd671b720f753e (patch) | |
| tree | 43f8492180db7f957790c615ed91f67a02770dee /libjava/java/net/FileNameMap.java | |
| parent | 52b804888bf0d45a1db49565c5e4694e6e3b6813 (diff) | |
| download | gcc-e12fbc9e0fd83631bf8258404ecd671b720f753e.zip gcc-e12fbc9e0fd83631bf8258404ecd671b720f753e.tar.gz gcc-e12fbc9e0fd83631bf8258404ecd671b720f753e.tar.bz2 | |
restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default in no run time mode.
* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
in no run time mode.
From-SVN: r46507
Diffstat (limited to 'libjava/java/net/FileNameMap.java')
0 files changed, 0 insertions, 0 deletions