diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-08-01 09:39:11 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-01 09:39:11 +0200 |
| commit | 2933820e04ec15a76a023aeef3f742285d2d0656 (patch) | |
| tree | c7d196b94d0e95c7f6bf31dd3356c1ec6ad48335 /libjava/classpath/gnu/java | |
| parent | 2e43faea07208bdb2d94de270b6afe779998d44e (diff) | |
opt.ads: Minor documentation fix
2008-08-01 Robert Dewar <dewar@adacore.com>
* opt.ads: Minor documentation fix
From-SVN: r138466
Diffstat (limited to 'libjava/classpath/gnu/java')
0 files changed, 0 insertions, 0 deletions