diff -r d4520e6f1c45 -r 7890bee65275 YASnippet/publidoc-inline-mode/publidoc_mentioned
--- /dev/null	jeu. janv. 01 00:00:00 1970 +0000
+++ b/YASnippet/publidoc-inline-mode/publidoc_mentioned	mer. déc. 25 17:53:53 2013 +0100
@@ -0,0 +1,4 @@
+# name: <mentioned>
+# key: <men=
+# --
+<mentioned>$0</mentioned>