diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2020-04-26 10:20:37 +0200 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2020-04-26 10:20:37 +0200 |
| commit | b75d4e70fd42e61cf85d975bcb9715841a63259e (patch) | |
| tree | 875e2eafc8a77eb0350ddc0a0a020f6037445c77 /english/doc | |
| parent | d6e85cf861f20f2f2fb401afa2e8f869e358e794 (diff) | |
debian-java-faq: correct cvsname into vcsname
Diffstat (limited to 'english/doc')
| -rw-r--r-- | english/doc/user-manuals.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/english/doc/user-manuals.defs b/english/doc/user-manuals.defs index 7e93fccb6df..4c83546508b 100644 --- a/english/doc/user-manuals.defs +++ b/english/doc/user-manuals.defs @@ -126,7 +126,7 @@ langs="en it fr" formats="html txt" srctype="SGML" - cvsname="java-faq" + vcsname="java-faq" vcstype="ddp" /> </define-tag> |