YASnippet/publidoc-mode/publidoc_section_title
changeset 282 7890bee65275
child 283 f6b8ec2914ef
--- /dev/null	jeu. janv. 01 00:00:00 1970 +0000
+++ b/YASnippet/publidoc-mode/publidoc_section_title	mer. déc. 25 17:53:53 2013 +0100
@@ -0,0 +1,11 @@
+# name: <section><head><title>…<p>
+# key: <sec=
+# --
+<section>
+  <head>
+    <title>$1</title>
+  </head>
+  <p>
+    $0
+  </p>
+</section>