diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-12-04 19:10:33 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-12-04 20:15:43 +0100 |
| commit | ee628f9fc79b7042d2866240580753d910fb18fe (patch) | |
| tree | 6f26651149163c9bcc65feaf41388976cc1c79ca /open_issues/64-bit_port.mdwn | |
| parent | fa84073c62f480697d143ec994199b0c5225aecd (diff) | |
Fix non-supported ``` blockquotes.
Throughout.
Message-ID: <20241204181037.24687-2-janneke@gnu.org>
Diffstat (limited to 'open_issues/64-bit_port.mdwn')
| -rw-r--r-- | open_issues/64-bit_port.mdwn | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn index a5d206e5..b85d95de 100644 --- a/open_issues/64-bit_port.mdwn +++ b/open_issues/64-bit_port.mdwn @@ -171,10 +171,8 @@ For now it's quite empty (not even gcc), but it can be debootstrapped. That will The `people.debian.org` repository is only for bootstraping the distribution. Proper packages are getting uploaded on the usual mirror: -``` -deb http://deb.debian.org/debian-ports sid main -deb http://deb.debian.org/debian-ports unreleased main -``` + deb http://deb.debian.org/debian-ports sid main + deb http://deb.debian.org/debian-ports unreleased main **Installing a 64bit system** |