YASnippet/publidoc-mode/publidoc_title
author Patrick PIERRE
dim., 13 juil. 2014 15:12:21 +0200
changeset 317 78fcb5b0d156
parent 282 7890bee65275
child 365 317036597359
permissions -rw-r--r--
Ajout de l'attribut pi-source
# name: <head><title>
# key: <tit=
# --
<head>
  <title>$0</title>
</head>