From 47af6aaab8f2dde736951b4e549c2638d942dae5 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Mon, 15 Nov 2010 22:20:51 +0000 Subject: [PATCH] docs: Debian and Ubuntu are now separate distros. --- generator/generator_actions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generator/generator_actions.ml b/generator/generator_actions.ml index c5bd44b..d044fa9 100644 --- a/generator/generator_actions.ml +++ b/generator/generator_actions.ml @@ -789,7 +789,7 @@ Arch Linux. =item \"debian\" -Debian or a Debian-derived distro such as Ubuntu. +Debian. =item \"fedora\" -- 1.8.3.1