kore-doc

commit 22996915a213f79edf70a4aba5eb4635d0aa5919
parent ef6c2aa56820931d69363213a0cd44a5771aca21
Author: Joris Vink <joris@coders.se>
Date:   Thu, 29 Nov 2018 15:33:45 +0100

even more shuffling

Diffstat:
SUMMARY.md
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/SUMMARY.md b/SUMMARY.md
@@ -3,8 +3,8 @@
 * [Introduction](README.md)
 * [Installation](install.md)
 * [Applications](applications/README.md)
-  * [The kodev tool](applications/integrated_tools.md)
   * [Build framework](applications/building.md)
+    * [kodev](applications/integrated_tools.md)
     * [build.conf](applications/buildconf_reference.md)
   * [Running](applications/running.md)
   * [Configuration](applications/koreconf.md)