diff options
| author | Guillem Jover <guillem@debian.org> | 2023-12-29 02:48:52 +0100 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2024-03-23 03:51:26 +0100 |
| commit | 6bc817b4c53e0c14085dc707e8e595da263a7e8f (patch) | |
| tree | 4036e6070c29263016bc9ff9e762f3dd41cf188e /english/ports | |
| parent | c4faf7d38264352c8c2861edac022312c173ab7e (diff) | |
Update ports references
Remove GNU/kFreeBSD on references to supported ports, or replace it with
GNU/Hurd for non-GNU/Linux references, and clarify that GNU/Hurd is not
currently officially supported.
Diffstat (limited to 'english/ports')
| -rw-r--r-- | english/ports/hurd/index.wml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/english/ports/hurd/index.wml b/english/ports/hurd/index.wml index d8377bc7374..bf0a473b230 100644 --- a/english/ports/hurd/index.wml +++ b/english/ports/hurd/index.wml @@ -11,7 +11,7 @@ servers running on top of the GNU Mach microkernel. Together they build the base for the <a href="https://www.gnu.org/">GNU</a> operating system.</p> <p> -Currently, Debian is only available for Linux and kFreeBSD, but with Debian +Currently, Debian is only officially available for Linux, but with Debian GNU/Hurd we have started to offer GNU/Hurd as a development, server and desktop platform, too.</p> <h2> |