Differences

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

--- navigationmenu [2013/05/23 08:28] – created dim
+++ navigationmenu [2017/05/12 20:16] (current) – dim
@@ Line 1: / Line 1: @@
+  * [[:start|Top]]
+  * [[:users:start|User content]]
+    * [[:users:tips:start|Tips and tricks]]
+    * [[:users:tools:start|Tools]]
+  * [[:machines:start|Machines]]
+  * [[:dim:start|Dmitry's corner]]
+    * [[:dim:faq:start|FAQ]]
+    * [[:dim:talks|Talks]]
+    * [[:dim:appnotes:start|Application notes]]
+    * [[:dim:tutorials:start|Tutorials]]
+  * [[:docs:start|Documentation]]
+    * [[:docs:pubs|Publications]]
+    * [[:docs:devices|Devices]]
+    * [[:docs:links|Links]]
+  * [[:about:start|About]]
+    * [[:about:terms_of_use|Terms of Use]]
+    * [[:about:privacy|Privacy Policy]]