Differences

This shows you the differences between two versions of the page.

--- commandlinetools [2007/10/01 13:41] – faltin
+++ commandlinetools [2007/10/01 16:23] (current) – faltin
@@ Line 1: / Line 1: @@
 ====== Command line tools ======
-NAV has some useful command lines tools. We document some of them here
+NAV has some useful command lines tools. We document the most important ones here.