Différences

Ci-dessous, les différences entre deux révisions de la page.

--- tools [2023/03/14 18:42] – créée piti
+++ tools [2023/07/23 15:44] (Version actuelle) – 45.13.105.137
@@ Ligne 1: / Ligne 1: @@
-* script pour convertir un pad en format dokuwiki: [[script:txt2doku]]
+  * script pour convertir un pad en format dokuwiki: [[script:txt2doku]]
+  * guide syntaxe wiki: [[wiki:syntaxe]]