YASnippet/publidoc-mode/publidoc_title
author Patrick PIERRE
dim., 24 juil. 2016 17:39:30 +0200
changeset 431 e6ec9b3edcd9
parent 365 317036597359
permissions -rw-r--r--
\rm -> \textrm
# -*- mode: snippet; -*-
# name: <head><title>
# key: <tit=
# --
<head>
  <title>$0</title>
</head>