YASnippet/publidoc-mode/publidoc_media_audio
author Patrick PIERRE
lun., 13 janv. 2014 11:19:01 +0100
changeset 293 02671b229bdc
parent 282 7890bee65275
permissions -rw-r--r--
Correction pour xmllint
# name: <media><audio id="…">
# key: <med=
# --
<media>
  <head>
    <title>$1</title>
  </head>
  <audio id="$2"/>
  <caption>
    $0
  </caption>
</media>