diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2020-04-25 21:14:42 +0200 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2020-04-25 21:14:42 +0200 |
| commit | d6e85cf861f20f2f2fb401afa2e8f869e358e794 (patch) | |
| tree | 6d6cd220a5023b3d94a9fe0f4b00a21196061b4a /english/doc | |
| parent | 8f8f0eeccf51757d09e22b275c3875d887142384 (diff) | |
Correct path to repo (vcsname) for debian-java-faq
Diffstat (limited to 'english/doc')
| -rw-r--r-- | english/doc/user-manuals.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/english/doc/user-manuals.defs b/english/doc/user-manuals.defs index 03c8d34056b..7e93fccb6df 100644 --- a/english/doc/user-manuals.defs +++ b/english/doc/user-manuals.defs @@ -126,6 +126,7 @@ langs="en it fr" formats="html txt" srctype="SGML" + cvsname="java-faq" vcstype="ddp" /> </define-tag> |