diff options
| author | Holger Wansing <holgerw@debian.org> | 2017-06-05 14:05:12 +0000 |
|---|---|---|
| committer | Holger Wansing <holgerw@debian.org> | 2017-06-05 14:05:12 +0000 |
| commit | 1329ff9d5b291f2b74a2809fe4b6ba7a8d0f12d2 (patch) | |
| tree | 6e247bbb838c37b212ef5375861cf2b9559a8621 /eu | |
| parent | e8bf88ab0582f7a4e858d30deef73e71b49e0a36 (diff) | |
| download | installation-guide-1329ff9d5b291f2b74a2809fe4b6ba7a8d0f12d2.zip | |
Trivial change: add forgotten commment.
Diffstat (limited to 'eu')
| -rw-r--r-- | eu/welcome/what-is-debian-kfreebsd.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/eu/welcome/what-is-debian-kfreebsd.xml b/eu/welcome/what-is-debian-kfreebsd.xml index 50e6dcaa5..125834bae 100644 --- a/eu/welcome/what-is-debian-kfreebsd.xml +++ b/eu/welcome/what-is-debian-kfreebsd.xml @@ -1,5 +1,7 @@ <!-- original version: 70739 untranslated --> +<!-- conditionalised because the kfreebsd port is not an official debian +release --> <sect1 id="what-is-debian-kfreebsd" condition="unofficial-build"> <title>What is &debian; GNU/kFreeBSD?</title> |