From 7bcc1efd81ae53459c9736978fbcb0a8fcb201d2 Mon Sep 17 00:00:00 2001 From: Sebastian Hahn Date: Wed, 7 Jan 2015 12:58:25 +0100 Subject: [PATCH] Update Ubuntu distribution codenames patch by dedal0, implements ticket #13847 --- docs/en/debian-vidalia.wml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/en/debian-vidalia.wml b/docs/en/debian-vidalia.wml index 33a6441b..5662917f 100644 --- a/docs/en/debian-vidalia.wml +++ b/docs/en/debian-vidalia.wml @@ -26,6 +26,12 @@ You'll need to set up our package repository before you can fetch Tor. First, you need to figure out the name of your distribution. Here's a quick mapping: