YASnippet/publidoc-mode/publidoc_section_title
author Patrick PIERRE
jeu., 12 juin 2014 17:25:53 +0200
changeset 314 12926ddef58c
parent 283 f6b8ec2914ef
child 365 317036597359
permissions -rw-r--r--
Modification de la date
# name: <section><head><title>…<p>
# key: <sec=
# --
<section>
  <head>
    <title>$1</title>
  </head>
  <p>
    $0
  </p>
</section>