diff options
| author | rwild <rwild@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-02-24 22:40:31 +0000 |
|---|---|---|
| committer | rwild <rwild@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-02-24 22:40:31 +0000 |
| commit | c80fc8f75192cec6b8155d0ed6f37db3472d8544 (patch) | |
| tree | f44549d23c46752363ded288722326e376342f43 /libjava/classpath/gnu/java | |
| parent | 53c09fa613e631c22df752d0c9147410d38f9af0 (diff) | |
| download | ppe42-gcc-c80fc8f75192cec6b8155d0ed6f37db3472d8544.tar.gz ppe42-gcc-c80fc8f75192cec6b8155d0ed6f37db3472d8544.zip | |
PR documentation/15479
* gnat_rm.texi, gnat_ugn.texi: Where appropriate, add @command,
use @command instead of @code, @option instead of @samp or @code,
@code instead of @var, @samp instead of @file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132602 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/gnu/java')
0 files changed, 0 insertions, 0 deletions
