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:
…<p> +# key: <sec= +# -- +<section> + <head> + <title>$1 + +

+ $0 +

+