diff -r d4520e6f1c45 -r 7890bee65275 YASnippet/publidoc-mode/publidoc_section_title --- /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>