Change order or articles in io.launcher.

diff --git a/basis/io/launcher/launcher-docs.factor b/basis/io/launcher/launcher-docs.factor
index 9c1dee1b4c123f32821c4809003d3fd5871aeb8c..60d923be9fca909be8a68001bd5429bfc7e8b6c9 100644 (file)
--- 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"
 } ;