diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2008-02-18 20:54:01 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2008-02-18 20:54:01 +0100 |
| commit | 0802ae58ae482688b0177086598bc10469645333 (patch) | |
| tree | 6a231d2b3a4ae8bce290d821d5b336b45fe0fed7 /libjava/classpath/gnu/java/beans | |
| parent | b5b5e640fc4879308ab32927285677f2faabf2fb (diff) | |
cp-tools.texinfo (@direntry): Prefix info name with cp-.
* doc/cp-tools.texinfo (@direntry): Prefix info name with cp-.
* doc/cp-hacking.texinfo (@direntry): Likewise.
* doc/cp-vmintegration.texinfo (@direntry): Likewise.
From-SVN: r132391
Diffstat (limited to 'libjava/classpath/gnu/java/beans')
0 files changed, 0 insertions, 0 deletions