From ff27f2c3f711a92c96722074bc8143a78b75f5e5 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 29 Oct 2011 15:13:45 -0700 Subject: [PATCH] Change order or articles in io.launcher. --- basis/io/launcher/launcher-docs.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/io/launcher/launcher-docs.factor b/basis/io/launcher/launcher-docs.factor index 9c1dee1b4c..60d923be9f 100644 --- a/basis/io/launcher/launcher-docs.factor +++ b/basis/io/launcher/launcher-docs.factor @@ -291,8 +291,8 @@ ARTICLE: "io.launcher" "Operating system processes" "io.launcher.detached" "io.launcher.environment" "io.launcher.redirection" - "io.launcher.group" "io.launcher.priority" + "io.launcher.group" "io.launcher.timeouts" } ;